%0 Report %1 cardelli1989a %A Cardelli, L. %D 1989 %K project management development; software %N 45 %T Typeful Programming %X There exists an indefinite 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 in clarifying programming issues and in adding power and regularity to languages.

@techreport{cardelli1989a, abstract = {There exists an indefinite 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 in clarifying programming issues and in adding power and regularity to languages.}, added-at = {2006-03-09T08:15:35.000+0100}, author = {Cardelli, L.}, bibdate = {Fri Oct 6 12:00:13 1989}, biburl = {https://www.bibsonomy.org/bibtex/2d8af0363e278054726b848b5770e8b64/snowball}, institution = {Digital Systems Research Center}, interhash = {5a627aac010dfd789acfbbee5abb295f}, intrahash = {d8af0363e278054726b848b5770e8b64}, key = {Cardelli}, keywords = {project management development; software}, month = May, number = 45, owner = {robyn}, timestamp = {2006-03-09T08:15:35.000+0100}, title = {Typeful Programming}, year = 1989 }