| Shelfclass_id | 3.F.2 |
| Sortkey | JONES, MARK P |
| Authors | Mark P. Jones |
| Title | Qualified Types: Theory and Practice |
| Publisher | Cambridge University Press |
| Year | 2003 |
| Languages | eng |
| Isbn | 0521543266 |
| Series | Distinguished dissertations in computer science |
| Description | xi, 157 s. ill |
| Record date | 20060630 |
| Location | Cambridge |
| Keywords | Logics of programming, Programlogik |