Type systems directed programming language evolution: overview and research trends.

Published in: ACM Southeast Regional Conference (2012)

Keyphrases

programming language
strongly typed
general purpose
object oriented
high level
software engineering
denotational semantics
programming environment
logic programming
database languages
databases
object oriented programming
stored procedures
programming paradigms