From HOT to COOL: transforming higher-order typed languages to concept-constrained object-oriented languages.

Daniel Lincke Sibylle Schupp

Published in: LDTA (2012)

Keyphrases

object oriented languages
higher order
object oriented
object oriented databases
object oriented programming
lambda calculus
pairwise
high order
databases
markov random field
artificial intelligence
database applications
distributed databases
metamodel