L. Cardelli. 45. Digital Systems Research Center, (мая 1989)
Аннотация
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.
%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
}