Login / Signup

Fun, rigour and pragmatism in functional programming.

Angel Sánchez-CalleJ. Ángel Velázquez-Iturbide
Published in: ACM SIGCSE Bull. (1991)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • object oriented programming
  • quantifier elimination
  • computer games
  • databases
  • data model