Experience report: functional programming in c-rules.

Published in: ICFP (2007)

Keyphrases

functional programming
functional language
programming language
execution model
quantifier elimination
object oriented programming
production rules
databases
data structure
management system
object oriented
business rules