Dependent types at work, 2008. Lecture notes of a graduate course with the same name. Submitted for publication (0)

by Ana Bove, Peter Dybjer
Venue:in the post-proceedings of the International Summer School on Language Engineering and Rigorous Software Development