|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
9
|
A Semantics for Static Type Inference
– Gordon Plotkin
- 1993
|
|
104
|
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
|
|
2
|
Completeness of Intersection and Union Type Assignment Systems for Call-By-Value Lambda-Models
– Hajime Ishihara, Toshihiko Kurata
|
|
|
A Type-Free Resource-Aware λ-Calculus
– Luca Roversi
- 1996
|
|
3
|
A Note on Intersection Types
– Christian Retore, Christian Retore, Projet Meije
- 1995
|
|
|
Refinement Types for Logical Frameworks
– William Lovas, Karl Crary
- 2010
|
|
8
|
A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract)
– M. Dezani-ciancaglini, F. Honsell, F. Alessi
- 2000
|
|
9
|
On Strong Normalization in the Intersection Type Discipline (Extended Abstract)
– Gérard Boudol
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
|
Intersection Types, λ-models, and Böhm Trees
– Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ugo de'Liguoro
|
|
88
|
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
|
|
|
Projection-based Cut-Elimination and Normalization
– Alexander Leitsch
- 2004
|
|
7
|
The Mathematical Development Of Set Theory - From Cantor To Cohen
– Akihiro Kanamori
- 1996
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
