Sign in

The best of both worlds: linear functional programming without compromise.

J. Garrett Morris
Published in: ICFP (2016)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • object oriented programming
  • quantifier elimination
  • data structure