A role for dependent types in Haskell.

Stephanie Weirich Pritam Choudhury Antoine Voizard Richard A. Eisenberg

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

real time
programming language
general purpose