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