A Semantics for Static Type Inference (1993)

by Gordon Plotkin
Venue:Information and Computation
Citations:9 - 0 self

Active Bibliography

12 A Complete Characterization of Complete Intersection-Type Theories (Extended Abstract) – M. Dezani-ciancaglini, F. Honsell, F. Alessi - 2000
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
36 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
11 Intersection Types and Lambda Models – Fabio Alessi, Franco Barbanera - 2005
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
Type Systems for Programming Languages – Steffen van Bakel - 2001
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
9 On Strong Normalization in the Intersection Type Discipline (Extended Abstract) – Gérard Boudol
7 A set-theoretical definition of application – Gordon Plotkin - 1972
40 Set-Theoretical and Other Elementary Models of the lambda-calculus – Gordon Plotkin - 1993
37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
86 The Essence of Principal Typings – J. B. Wells - 2002
3 Type Inference and Reconstruction for First Order Dependent Types – Neal Nelson, To Mary Alice, To Sherri - 1995
Intersection Types for λ-Trees – Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-ciancaglini, Fer-Jan de Vries - 1999
Problem 19 – Alberto Carraro, Antonino Salibra, Università Ca Foscari