Ana Bove, Peter Dybjer. Dependent Types at Work. In Ana Bove, LuÃs Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto, editors, Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Volume 5520 of Lecture Notes in Computer Science, pages 57-99, Springer, 2008. [doi]
Abstract is missing.