Login / Signup

A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.

Andrew M. Pitts
Published in: ICFP (2001)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • quantifier elimination
  • object oriented programming
  • high level
  • data model
  • theorem prover