Active Bibliography

125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
58 Structural Subtyping and the Notion of Power Type – Luca Cardelli - 1988
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1111 Proof-Carrying Code – George C. Necula - 1997
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
269 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
347 How to make ad-hoc polymorphism less adhoc – Philip Wadler, Stephen Blott - 1989