|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
2
|
An Unboxed Operational Semantics for ML Polymorphism
– Atsushi Ohori, Tomonobu Takamizawa
- 1997
|
|
63
|
Flexible representation analysis
– Zhong Shao
- 1997
|
|
12
|
Unboxed Values and Polymorphic Typing Revisited
– Peter J. Thiemann
- 1995
|
|
33
|
Dictionary-free Overloading by Partial Evaluation
– Mark P. Jones
|
|
65
|
Tag-free Garbage Collection Using Explicit Type Parameters
– Andrew Tolmach
|
|
52
|
Compiling Haskell by program transformation: a report from the trenches
– Simon L. Peyton Jones
- 1996
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
10
|
Full Lifting of Type Parameters
– Yasuhiko Minamide
- 1997
|
|
8
|
Compilation based on a calculus for explicit type passing
– Yasuhiko Minamide
- 1996
|
|
77
|
Once Upon a Type
– David Turner, Philip Wadler, Christian Mossin
- 1995
|
|
1
|
Václavík: Time and Memory Profile of a Process Functional Program
– Ján Kollár, Jaroslav Porubän, Peter Václavík
|
|
6
|
Heap Profiling for Space Efficiency
– Colin Runciman, Niklas Röjemo
- 1996
|
|
14
|
Profiling Large-Scale Lazy Functional Programs
– R. G. Morgan, S. A. Jarvis
- 1998
|
|
31
|
PROPERTIES OF AGE-BASED AUTOMATIC MEMORY RECLAMATION ALGORITHMS
– Darko Stefanovic
- 1999
|
|
16
|
Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited
– Niklas Röjemo, Colin Runciman
- 1996
|
|
|
Arity Raising in Manticore
– Lars Bergstrom
|
