Documents Related by Co-Citation

364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
329 Theorems for free! – Philip Wadler - 1989
156 Fundamental concepts in programming languages – Christopher Strachey - 1967
758 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
112 An extension of system F with subtyping – Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov - 1991
539 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
124 Formal Parametric Polymorphism – Martin Abadi , Luca Cardelli, Pierre-Louis Curien - 1993
130 Abstraction Mechanisms in CLU – Barbara Liskov, Alan Snyder, Russell Atkinson, Craig Schaffert - 1977
548 Featherweight Java: A Minimal Core Calculus for Java and GJ – Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler - 1999
44 Automatic synthesis of typed Λ-programs on term algebras – Corrado Böhm, Alessandro Berarducci - 1985
1440 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
45 Functorial polymorphism – E S Bainbridge, P J Freyd, A Scedrov, P J Scott - 1990
233 Principal type schemes for functional programs – L Damas, R Milner - 1982
17 de Bruijn: The mathematical language Automath, its usage and some of its extensions – N G - 1970
265 Constructive mathematics and computer programming – P Martin-Löf - 1982
936 A theory of type polymorphism in programming – Robin Milner - 1978
3 Communication to the Types electronic forum – E Moggi - 1986
5 Introduction to Part II: Polymorphic Lambda Calculus – J C Reynolds - 1990