Part of the Computer Sciences Commons
A Specification for Dependent Types in Haskell, Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg Computer Science Faculty Research and Scholarship
PDF
Advanced Search