Login / Signup
A specification for dependent types in Haskell.
Stephanie Weirich
Antoine Voizard
Pedro Henrique Avezedo de Amorim
Richard A. Eisenberg
Published in:
Proc. ACM Program. Lang. (2017)
Keyphrases
</>
data sets
real world
information retrieval
high level
data structure
programming language
multiple types
machine learning
website
provably correct