Login / Signup

Combinatory Foundation of Functional Programming.

Corrado Böhm
Published in: Symposium on LISP and Functional Programming (1982)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • databases
  • data structure
  • multi dimensional
  • big data