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