Documents Related by Co-Citation

171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
138 Separate Compilation for Standard ML – Andrew W. Appel, David B. Macqueen - 1994
107 Unboxed values as first class citizens in a non-strict functional language – Simon L Peyton Jones, John Launchbury - 1991
121 Implementing Type Classes – John Peterson, Mark Jones
625 Compiling With Continuations – A W Appel - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
939 A theory of type polymorphism in programming – Robin Milner - 1978
15 Parametric Type Classes (Extended Abstract) – Kung Chen, Paul Hudak, Martin Odersky - 1992
10 Qualified types: Theory and – M P Jones - 1992
7 A static semantics for Haskell (draft – S L Peyton Jones, P Wadler - 1992
12 Computing with lattices: An application of type classes – Mark P Jones - 1992
77 Report on the programming language Haskell. Version 1.0 – P Hudak, P Wadler - 1990
102 A gentle introduction to haskell – Paul Hudak, Joseph H Fasel - 1992
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
195 ORBIT: An optimizing compiler for Scheme – David Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin, Norman Adams - 1987
540 The Implementation of Functional Programming Languages – Peyton Jones, S L - 1987