Couverture : Google Books
Résumé
This book offers a fresh perspective on the fundamentals of programming languages through the use of type theory.
Détails de l'édition
- ISBN-13
- 9781107029576
- ISBN-10
- 1107029570
- EAN
- 9781107029576
- Éditeur
- Cambridge university press (Cambridge)
- Date de publication
- 1 janvier 2013
- Langue
- en
- Pages
- 491
- Dimensions
- 26 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language Google Books · 30 juillet 2026
- page_count Google Books · 30 juillet 2026
- publication_date Google Books · 30 juillet 2026
- summary Google Books · 30 juillet 2026
- title Google Books · 30 juillet 2026