LerNet ALFA Summer School

2008200920082009

Keyphrases

Publications

volume 5520, 2009

Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures LerNet ALFA Summer School 5520 (2009)

2008

José Nuno Oliveira
Extended Static Checking by Calculation Using the Pointfree Transform. LerNet ALFA Summer School (2008)
S. Doaitse Swierstra
Combinator Parsing: A Short Tutorial. LerNet ALFA Summer School (2008)
Herman Geuvers
Introduction to Type Theory. LerNet ALFA Summer School (2008)
Yves Bertot
Structural Abstract Interpretation: A Formal Study Using Coq. LerNet ALFA Summer School (2008)
Gilles Barthe, Benjamin Grégoire, Colin Riba
A Tutorial on Type-Based Termination. LerNet ALFA Summer School (2008)
Ana Bove, Peter Dybjer
Dependent Types at Work. LerNet ALFA Summer School (2008)