Login / Signup
Epigram reloaded: a standalone typechecker for ETT.
James Chapman
Thorsten Altenkirch
Conor McBride
Published in:
Trends in Functional Programming (2005)
Keyphrases
</>