A specification for dependent types in Haskell
Weirich, Stephanie, Voizard, Antoine, de Amorim, Pedro Henrique Azevedo, Eisenberg, Richard A.Volume:
1
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3110275
Date:
August, 2017
File:
PDF, 410 KB
english, 2017