A Role for Dependent Types in Haskell (Extended version).

Stephanie Weirich Pritam Choudhury Antoine Voizard Richard A. Eisenberg

Published in: CoRR (2019)

Keyphrases

programming language
functional programming
databases
expert systems
special case
open source
functional language