Practical foundations for programming languages /
"This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory"
| Hlavní autor: | |
|---|---|
| Médium: | |
| Jazyk: | eng |
| Vydáno: |
Cambridge : Cambridge University Press,
2013
|
| Témata: |
| Shrnutí: | "This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory" |
|---|