Practical foundations for programming languages
"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"-- Provided by publisher.
| Príomhchruthaitheoir: | |
|---|---|
| Formáid: | LEABHAR |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
Cambridge, New York
Cambridge University Press
2013.
|
| Ábhair: |