A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming
Under a Creative Commons license
open access
Keywords
Object-Oriented Programming
Denotational Semantics
Nominative Type Systems
Structural Type Systems
NOOP
Type Names
Inheritance
Subtyping
OOP
Java
C#
Cited by (0)
Copyright © 2014 Elsevier B.V.