A simple typed intermediate language for object-oriented languages.

Juan Chen David Tarditi

Published in: POPL (2005)

Keyphrases

object oriented languages
object oriented
object oriented programming
object oriented databases
lambda calculus
language learning
artificial intelligence
database systems
programming language
natural language
general purpose
metamodel