Image for Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers. (Programming and Software Engineering)

Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers. (Programming and Software Engineering) - 5520 (2009 edition.)

Barbosa, Luis Soares(Edited by)Bove, Ana(Edited by)Pardo, Alberto(Edited by)Pinto, Jorge Sousa(Edited by)
Part of the Lecture Notes in Computer Science series
See all formats and editions

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.

Read More
Special order line: only available to educational & business accounts. Sign In
£44.99
Product Details
Springer
3642031536 / 9783642031533
eBook (Adobe Pdf)
14/07/2009
English
559 pages
Copy: 10%; print: 10%