Login / Signup

Industrial Functional Programming.

John Launchbury
Published in: PADL (2008)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • quantifier elimination
  • object oriented programming
  • management system
  • general purpose
  • artificial intelligence