Active Bibliography

1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
41 From Polyvariant Flow Information to Intersection and Union Types – Jens Palsberg , Christina Pavlopoulou - 1998
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
141 Operations on records – Luca Cardelli, John C. Mitchell - 1991
26 A Theory of Primitive Objects – Martín Abadi, Luca Cardelli - 1994
12 Pragmatic Subtyping in Polymorphic Languages – Johan Nordlander - 1997
4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
10 Practical Soft Typing – Andrew K. Wright - 1994
32 Notes on Typed Object-Oriented Programming – Kathleen Fisher, John C. Mitchell - 1994
12 A Type System for Computer Algebra – Philip S. Santas - 1994
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
Subtyping, Recursion and Parametric Polymorphism in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 2003
15 The Complexity of Simple Subtyping Systems – Jakob Rehof - 1998
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999