A Useful Bounded Resource Functional Language.

Michael J. Burrell James H. Andrews Mark Daley

Published in: SOFSEM (2008)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
database
concept formation
object oriented
software engineering
logic programming
object oriented databases
building intelligent