Active Bibliography

3 A polymorphic λ-calculus with Type:Type – Luca Cardelli - 1986
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
5 The Quest Language and System – Luca Cardelli - 1994
138 Typeful programming – Luca Cardelli - 1989
3 Typechecking is Undecidable When 'Type' is a Type – Mark B. Reinhold - 1989
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
49 Type Theories and Object-Oriented Programming – Scott Danforth, Chris Tomlinson - 1988
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
3 Atype-theoretic approach to higher-order modules with sharing – Robert Harper, Mark Lillibridge - 1994
unknown title – Richard Connor, Malcolm Atkinson, Sonia Berman, Quintin Cutts, Graham Kirby, Ron Morrison
18 Phase Distinctions in Type Theory – Luca Cardelli - 1988
78 Basic polymorphic typechecking – Luca Cardelli - 1987
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
c○Copyright by Vipin Swarup, 1992TYPE THEORETIC PROPERTIES OF ASSIGNMENTS BY – Vipin Swarup, Vipin Swarup Ph. D