Language Engineering and Rigorous Software Development
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers| By: | Ana Bove; Luis Soares Barbosa; Alberto Pardo |
| Publisher: | Springer Nature |
| Print ISBN: | 9783642031526 |
| eText ISBN: | 9783642031533 |
| Edition: | 1 |
| Copyright: | 2009 |
| Format: | Page Fidelity |
Lifetime - $111.25
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.