Login / Signup

On lazy natural numbers with applications to computability theory and functional programming.

Martín Hötzel Escardó
Published in: SIGACT News (1993)
Keyphrases
  • functional programming
  • functional language
  • quantifier elimination
  • programming language
  • object oriented programming
  • execution model
  • high level