Documents Related by Co-Citation

365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
326 Theorems for free! – Philip Wadler - 1989
156 Fundamental concepts in programming languages – C Strachey - 1967
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
110 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
122 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
131 Abstraction mechanisms in CLU – B Liskov, A Snyder, R Atkinson, C Schaffert - 1977
44 Automatic synthesis of typed Λ-programs on term algebras – Corrado Böhm, Alessandro Berarducci - 1985
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
5 Formal Parametric Polymorphism, Theoretical Computer Science 121(1–2):9–58 – M Abadi, L Cardelli, P-L Curien - 1993
3 Communication to the Types electronic forum – E Moggi - 1986
5 Introduction to Part II: Polymorphic Lambda Calculus – J C Reynolds - 1990
4 Recursive types for free! Manuscript – P Wadler - 1991
6 Non-trivial Power Types can't be Subtypes of Polymorphic Types – Andrew M. Pitts - 1989
16 On functors expressible in the polymorphic typed lambda calculus – John C. Reynolds, Gordon D. Plotkin - 1990
45 Dl-Dom,øins as & Model of Polymorphism – Coquand Thierr¡ Carl Gunter, Glynn \Minskel
104 et al.: Implementing Mathematics with the Nuprl Proof Development System – R L Constable - 1986