Active Bibliography

58 Structural Subtyping and the Notion of Power Type – Luca Cardelli - 1988
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
unknown title – Richard Connor, Malcolm Atkinson, Sonia Berman, Quintin Cutts, Graham Kirby, Ron Morrison
3 Typechecking is Undecidable When 'Type' is a Type – Mark B. Reinhold - 1989
3 A polymorphic λ-calculus with Type:Type – Luca Cardelli - 1986
13 A Polymorphic λ-Calculus With Type:Type – Luca Cardelli - 1986
Programming Language Concepts — The Lambda Calculus Approach ∗ – Maarten M. Fokkinga
12 A Type System for Computer Algebra – Philip S. Santas - 1994
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
2 Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus – Peter Lee, Mark Leone, Spiro Michaylov, Frank Pfenning - 1989
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
2 Towards a Set-Theoretic Type Theory – Andrzej Borzyszkowski, Ryszard Kubiak, Jacek Leszczylowski, Stefan Sokolowski - 1988
Type Theory for Programming Languages – Robert Harper - 1994
5 The Quest Language and System – Luca Cardelli - 1994
16 On the Construction of Persistent Programming Environments – Alan Dearle - 1988
6 Mechanisms for Controlling Evolutions in Persistent Object Systems – R. Morrison, R.C.H. Connor, Q.I. Cutts, G. Kirby, D. Stemple - 1993