by Mark P. Jones
Paperback
ISBN: 978-0-521-54326-2
ISBN-10: 0-521-54326-6
Cambridge University Press · 2008
|
|
by Mark P. JonesPaperback
ISBN: 978-0-521-54326-2 ISBN-10: 0-521-54326-6 Cambridge University Press · 2008 |
| See also: | ||
| 1994 | Hardcover | Qualified Types: Theory and Practice (Distinguished Dissertations in Computer Science) |