A Meta-Language for Typed Object-Oriented Languages.

Giuseppe Castagna

Published in: Theor. Comput. Sci. (1995)

Keyphrases

object oriented languages
object oriented databases
object oriented programming
object oriented
lambda calculus
higher order
programming language
database
artificial intelligence
general purpose
test cases
meta level