Monadic Reflection in Haskell.

Andrzej Filinski

Published in: MSFP@MPC (2006)

Keyphrases

deductive databases
programming language
functional programming
datalog programs
database
real time
artificial intelligence
specular reflection
datalog queries
functional language