A Meta-Logic for Functional Programming.

John Hannan Dale Miller

Published in: META (1988)

Keyphrases

functional programming
functional language
execution model
object oriented programming
quantifier elimination
programming language
logic programming
modal logic
artificial intelligence
active rules
meta reasoning