Active Bibliography

5 The Quest Language and System – Luca Cardelli - 1994
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
3 A polymorphic λ-calculus with Type:Type – Luca Cardelli - 1986
13 A Polymorphic λ-Calculus With Type:Type – Luca Cardelli - 1986
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
6 Contextual Polymorphism – Glen Jeffrey Ditchfield - 1994
119 Comparing object encodings – Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce - 2006
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
7 Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d) – Benjamin C. Pierce - 1996
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
69 Types for Modules – Claudio V. Russo - 1998
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
38 Polymorphism and Type Inference in Database Programming – Peter Buneman, Atsushi Ohori
Programming Language Concepts — The Lambda Calculus Approach ∗ – Maarten M. Fokkinga