Monadic encapsulation of effects: a revised approach (extended version).

Eugenio Moggi Amr Sabry

Published in: J. Funct. Program. (2001)

Keyphrases

deductive databases
data sets
database systems
monadic second order logic
information integration
object oriented databases
expressive power
information technology
optimal solution
multiscale
e learning
information systems
search engine
information retrieval
real world
neural network
databases