On Polymorphic Type Systems for Imperative Programming Languages: An Approach using Sets of Types and Subprograms.

Bernd Holzmüller

Published in: ECOOP Workshops (1998)

Keyphrases

programming language
strongly typed
general purpose
object oriented
programming environment
high level
software engineering
denotational semantics
logic programming
data abstraction
computer systems
object oriented programming
program code
domain specific languages
semantic data models