|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
26
|
Unrolling Lists
– Zhong Shao, John H. Reppy, Andrew W. Appel, John H
- 1994
|
|
27
|
Memory Forwarding: Enabling Aggressive Layout Optimizations by Guaranteeing the Safety of Data Relocation
– Chi-Keung Luk , Todd C. Mowry
- 1999
|
|
12
|
Purely Functional, Real-Time Deques with Catenation
– Haim Kaplan, Robert E. Tarjan
- 1999
|
|
4
|
Automated Benchmarking of Functional Data Structures
– Graeme E. Moss, Colin Runciman
- 1999
|
|
15
|
Optimal Purely Functional Priority Queues
– Gerth Stølting Brodal, Gerth Stlting Brodal, Chris Okasaki, Chris Okasaki
- 1996
|
|
6
|
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations
– Tyng-Ruey Chuang, Wen L. Hwang
- 1996
|
|
15
|
Purely Functional Random-Access Lists
– Chris Okasaki
- 1995
|
|
|
PIPE2: Platform Independent Petri Net Editor
– Nadeem Akharware, Meng Miee
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
|
Linear, Online, Functional Pretty Printing
– S. Doaitse Swierstra
- 2004
|
|
|
Logic and Abstraction, Verification and Falsification
– Jan-georg Smaus
- 2008
|
|
67
|
Nested datatypes
– Richard Bird, Lambert Meertens
- 1998
|
|
|
Using Compact Data Representations for Languages Based on Catamorphisms
– Leonidas Fegaras, Andrew Tolmach
- 1995
|
|
3
|
Design and Evaluation of the Hamal Parallel Computer
– J. P. Grossman, Thomas F. Knight, Arthur C. Smith
- 2002
|
|
|
unknown title
– Garbage Collection, Embedded Systems, David F. Bacon, Perry Cheng, David Grove
|
|
2
|
SIGNATURES IN TRANSACTIONAL MEMORY SYSTEMS
– Luke Yen
|
|
|
Sequence Types for Functional Languages
– Edoardo Biagioni August
- 1995
|
|
2
|
Benchmarking Purely Functional Data Structures
– Graeme E. Moss
- 1999
|
