Simple Type-Theoretic Foundations for Object-Oriented Programming.

Benjamin C. Pierce David N. Turner

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

Keyphrases

object oriented programming
programming language
artificial intelligence
object oriented
programming concepts
object oriented languages
key concepts
functional programming
software engineering
domain specific
learning tools