M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Detecting and Removing Dead Code using Rank 2 Intersection - Damiani, Prost (1997) (1 citation) (Correct)
....in the compiling process. It is used on one side to check the consistency of programs and on the other to improve the efficiency of the code produced. In addition to prevent run time errors, type systems can characterize run time properties of programs. For instance intersection types, see [11] (and also [1] in their full generality, provide a characterization of normalization. Type systems tailored to specific analysis, such as strictness, totality, binding time etc. have been introduced, see [18, 16, 2, 12, 15, 22, 25, 13] In this perspective types represent program properties and ....
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambdacalculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Strictness, Totality, and Non-Standard Type - Inference Mario Coppo Self-citation (Coppo) (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Rank-2 Intersection and Polymorphic Recursion - Damiani (2005) (2 citations) (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Rank 2 Intersection Types for Local Definitions and Conditional.. - Damiani (2003) (15 citations) (Correct)
No context found.
COPPO,M.AND DEZANI-CIANCAGLINI, M. 1980. An extension of basic functional theory for lambdacalculus.
Rank 2 Intersection Types for Modules - Damiani (2003) (12 citations) (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Principal Typings and True Rank 2 Intersection Typable Recursive.. - Damiani (2003) (3 citations) (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Rank 2 Intersection Types for Modules (Version with conclusions.. - Damiani (Correct)
No context found.
M. Coppo and M. Dezani-Ciancaglini. An extension of basic functional theory for lambda-calculus. Notre Dame Journal of Formal Logic, 21(4):685--693, 1980.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC