Site Navigation
Categories:
Type theory

Summary Of: Nominative type system

Encyclodia Page On: Nominative type system

These Are Links To Other Documents
computer science | type system | structural systems | type aliasing | typedef | C# | Java | Eiffel | C++ | Abstract type | Type system | Pierce, Benjamin C. | Types and Programming Languages | MIT Press | ISBN 0-262-16209-1 | Categories | Type theory |
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Nominative type system".