Login / Signup

Dependently typed programming with singletons.

Richard A. EisenbergStephanie Weirich
Published in: Haskell (2012)
Keyphrases
  • programming language
  • higher order
  • programming environment
  • lambda calculus
  • multiscale
  • data mining
  • belief functions
  • programming education
  • high level language