Equivalence in Functional Languages with Effects.

Ian A. Mason Carolyn L. Talcott

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

Keyphrases

expressive power
databases
functional analysis
neural network
language independent
text summarization
database
real time
data sets
data mining
first order logic
cross lingual