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.
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| ভাষা: | English |
| প্রকাশিত: |
Cambridge, New York
Cambridge University Press
2013.
|
| বিষয়গুলি: |