Functional Programming Based on Transparent Intensional Logic.

Nikola Ciprich Marie Duzí Michal Kosinár

Published in: RASLAN (2007)

Keyphrases

functional programming
functional language
execution model
programming language
quantifier elimination
object oriented programming
logic programming
modal logic
databases
query evaluation
active rules
distributed environment