Login / Signup

A New Approach to Generic Functional Programming.

Ralf Hinze
Published in: POPL (2000)
Keyphrases
  • functional programming
  • functional language
  • quantifier elimination
  • programming language
  • execution model
  • object oriented programming
  • database
  • high level
  • software engineering