|
163
|
Unboxed Objects and Polymorphic Typing
– Xavier Leroy
- 1992
|
|
45
|
An Ad-Hoc Approach to the Implementation of Polymorphism
– R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown
- 1991
|
|
135
|
Separate Compilation for Standard ML
– Andrew W. Appel, David B. Macqueen
- 1994
|
|
94
|
Unboxed values as first class citizens in a non-strict functional language
– Simon L Peyton Jones, John Launchbury
- 1991
|
|
114
|
Implementing Type Classes
– John Peterson, Mark Jones
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
251
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
98
|
A gentle introduction to Haskell
– Paul Hudak, Joseph H Fasel
- 1992
|
|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
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
|
|
11
|
Computing with lattices: An application of type classes
– Mark P Jones
- 1992
|
|
75
|
Report on the programming language Haskell, version 1.2
– P Hudak, S L Peyton Jones, P Wadler, B Boutel, J Fairbairn, J Fasel, M Guzman, K Hammond, J Hughes, T Johnsson, D Kieburtz, R Nikhil, W Partain, J Peterson
- 1992
|
|
315
|
How to Make Ad-Hoc Polymorphism Less Ad Hoc
– Philip Wadler, Stephen Blott
- 1988
|
|
873
|
A theory of type polymorphism in programming
– Robin Milner
- 1978
|
|
297
|
Pizza into Java: Translating theory into practice
– Martin Odersky, Philip Wadler
- 1997
|
|
190
|
ORBIT: An optimizing compiler for Scheme
– D KRANZ, R KELSEY, J REES, P HUDAK, J PHILBIN, N ADAMS
- 1986
|
|
515
|
The Implementation of Functional Programming Languages
– S Peyton Jones
- 1987
|
