|
13
|
The Role of Lazy Evaluation in Amortized Data Structures
– Chris Okasaki
- 1996
|
|
6
|
Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking
– Chris Okasaki
- 1995
|
|
15
|
Optimal Purely Functional Priority Queues
– Gerth Stølting Brodal, Gerth Stlting Brodal, Chris Okasaki, Chris Okasaki
- 1996
|
|
12
|
Purely Functional, Real-Time Deques with Catenation
– Haim Kaplan, Robert E. Tarjan
- 1999
|
|
6
|
A Probabilistic Approach to the Problem of Automatic Selection of Data Representations
– Tyng-Ruey Chuang, Wen L. Hwang
- 1996
|
|
11
|
Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming
– Tyng-Ruey Chuang, Benjamin Goldberg
- 1993
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
|
A Data Structure for More Efficient . . .
– Melissa Elizabeth O’Neill
- 1994
|
|
|
Modular and Extensible Types
– Lucília Figueiredo, Carlos Camarão
- 1999
|
|
9
|
Inductive Graphs and Functional Graph Algorithms
– Martin Erwig
- 2001
|
|
10
|
Simple Confluently Persistent Catenable Lists
– Haim Kaplan, Chris Okasaki, Robert, Robert E. Tarjan
- 1998
|
|
5
|
Fully Persistent Arrays for Efficient Incremental Updates and Voluminous Reads
– Tyng-Ruey Chuang
- 1992
|
|
27
|
Functional Programming with Graphs
– Martin Erwig
- 1997
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
418
|
Comprehending Monads
– Philip Wadler
- 1992
|
|
23
|
A Theory of Stack Allocation in Polymorphically Typed Languages
– Mads Tofte, Jean-Pierre Talpin
- 1993
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
6
|
Pattern Guards and Transformational Patterns
– Martin Erwig, Simon Peyton Jones
- 2000
|
|
15
|
Confluently Persistent Deques via Data-Structural Bootstrapping
– Adam L. Buchsbaum, Robert E. Tarjan
- 1993
|
