Login / Signup

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.

Kevin Hammond
Published in: CEFP (2005)
Keyphrases
  • high level
  • functional programming
  • programming language
  • functional language
  • execution model
  • object oriented programming
  • quantifier elimination
  • artificial intelligence
  • data management