Practical foundations for programming languages /
"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"
| 主要作者: | |
|---|---|
| 格式: | |
| 语言: | eng |
| 出版: |
Cambridge : Cambridge University Press,
2013
|
| 主题: |