Practical foundations for programming languages /
"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Cambridge : Cambridge University Press,
2013
|
| Subjects: |