Documents Related by Co-Citation

370 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
333 Theorems for free! – Philip Wadler - 1989
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
552 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
1465 Object-oriented Software Construction – Bertrand Meyer - 1988
944 A theory of type polymorphism in programming – Robin Milner - 1978
721 Types and programming languages – Benjamin C Pierce - 2002
478 The calculus of constructions – G Huet Coquand - 1988