LerNet ALFA Summer School 2008: Piriapolis, Uruguay

Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto (Eds.): Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Lecture Notes in Computer Science 5520 Springer 2009, ISBN 978-3-642-03152-6

Herman Geuvers:
Introduction to Type Theory. 1-56
Ana Bove, Peter Dybjer:
Dependent Types at Work. 57-99
Gilles Barthe, Benjamin Grégoire, Colin Riba:
A Tutorial on Type-Based Termination. 100-152
Yves Bertot:
Structural Abstract Interpretation: A Formal Study Using Coq. 153-194
José N. Oliveira:
Extended Static Checking by Calculation Using the Pointfree Transform. 195-251
S. Doaitse Swierstra:
Combinator Parsing: A Short Tutorial. 252-300