Language Engineering and Rigourous Software Development International Lernet Alfa Summer School 2008, Piriapolis, Uruguay, February/March 2008, Revised Selected Papers |
|
| Editor:
| Bove, Ana
Barbosa, Luis Soares
Pardo, Alberto
Pinto, Jorge Sousa |
| Series title: | Lecture Notes in Computer Science / Programming and Software Engineering Ser. |
| ISBN: | 978-3-642-03152-6 |
| Publication Date: | Jul 2009 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $152.95 |
Book Description:
|
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.
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.