Language Engineering and Rigorous Software Development

Language Engineering and Rigorous Software Development

Number of page: 301
Author: edited by Ana Bove, Luis Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto
Publisher: Springer Science & Business Media
Rating:
Category: Computers

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.