Rajaa
Hakutulokset: 9780521054225
Rajaa
yksi hakutulos.
Basic Simple Type Theory
pokkari,
2008,
englanti,
ISBN 9780521054225
Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one …