Lambda Calculi with Types (1992)

by Henk Barendregt , S. Abramsky , D. M. Gabbay , T. S. E. Maibaum , H. P. Barendregt
Venue:Handbook of Logic in Computer Science
Citations:518 - 4 self

Active Bibliography

13 Handbook of Logic in Computer Science, volume II, chapter Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1993
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
10 A Semantics for Static Type Inference – Gordon Plotkin - 1993
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
Combining Type Disciplines – Cardone De' Liguoro, F. Cardone, U. Liguoro, M. Dezani Ciancaglini - 1994
Lambda! Considered Both as a Paradigmatic Language and as a Meta-Language – Alberto Pravato, Luca Roversi
A Type-Free Resource-Aware λ-Calculus – Luca Roversi - 1996
3 A Note on Intersection Types – Christian Retore, Christian Retore, Projet Meije - 1995
9 On Strong Normalization in the Intersection Type Discipline (Extended Abstract) – Gérard Boudol
This is brought to you for free and open access by the Theses and Dissertations at Research Showcase. It has been accepted for inclusion in Dissertations by an authorized administrator of Research Showcase. For more information, please contact research-sh – William Lovas, William Lovas - 2010
Intersection Type Matching with Subtyping – Boris Düdder, Moritz Martens, Jakob Rehof
4 Completeness of Intersection and Union Type Assignment Systems for Call-By-Value Lambda-Models – Hajime Ishihara, Toshihiko Kurata
2 Refinement Types for Logical Frameworks – William Lovas - 2010
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
Intersection Types, λ-models, and Böhm Trees – Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
93 What Are Principal Typings and What Are They Good For? – Trevor Jim - 1995
Recycling Texts: Human Evaluation of Example-Based Machine Translation Subtitles for DVD – Marian Flanagan, Supervisor Dr. Dorothy Kenny
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008