Login / Signup

Typed functional programming.

W. T. HuangD. C. You
Published in: ACM SIGPLAN Notices (1986)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • general purpose
  • fine grained