Typeful Programming
Short Description
This typeful programming style is in a sense independent of the language it is … The main purpose of this paper is to show how typeful programming is best …
Website: lucacardelli.name | Filesize: 229kb
Content
Typeful Programming
Luca Cardelli
Digital Equipment Corporation, Systems Research Center
130 Lytton Avenue, Palo Alto, CA 94301
Abstract
There exists an identifiable programming style based on the widespread use of type
information handled through mechanical typechecking techniques.
This typeful programming style is in a sense independent of the language it is embedded
in; it adapts equally well to functional, imperative, object-oriented, and algebraic
programming, and it is not incompatible with relational and concurrent programming.
The main purpose of this paper is to show how typeful programming is best supported by
sophisticated type systems, and how these systems can help…
Get the file Download here
Related Searches: sophisticated type systems, imperative object, algebraic programming, palo alto ca, programming style
Comments
Leave a Reply
