Documents Related by Co-Citation

767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
216 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
944 A theory of type polymorphism in programming – Robin Milner - 1978
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
734 Notions of Computation and Monads – Eugenio Moggi - 1991
566 The ubiquitous B-tree – Douglas Comer - 1979
518 Fine-grained Mobility in the Emerald System – Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black - 1988
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005