Real-Time Deques, Multihead Turing Machines, and Purely Functional Programming (1993)

Cached

Download Links

by Tyng-Ruey Chuang , Benjamin Goldberg
Venue:In Conference on Functional Programming Languages and Computer Architecture
Citations:11 - 1 self

Documents Related by Co-Citation

23 Real-time queue operations – Robert Hood, Robert Melville - 1981
23 Persistent lists with catenation via recursive slow-down – Robert E Tarjan - 1995
231 Making Data Structures Persistent – James R. Driscoll, Neil Sarnak, Daniel D. Sleator, Robert E. Tarjan - 1989
24 Simple and efficient purely functional queues and deques – Chris Okasaki - 1995
441 The Science of Programming – D Gries - 1981
6 The Efficient Implementation of Very-High-Level Programming Language Constructs – Robert Hood - 1982
11 Functional Binomial Queues – David King - 1994
22 Tarjan, Fully persistent lists with catenation – J R Driscoll, D D Sleator, R E - 1994
11 A symmetric set of efficient list operations – Rob R Hoogerwoord - 1992
129 Amortized computational complexity – R E Tarjan - 1985
16 Efficient functional implementation of FIFO queues – F Warren Burton - 1982
15 Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended Queues – Adam L. Buchsbaum, Rajamani Sundar, Robert E. Tarjan - 1992
31 Efficient applicative data types – Eugene W Myers - 1984
22 Deques with heap order – H Gajewska, R E Tarjan - 1986
160 Planar point location using persistent search trees – Neil Sarnak, Robert E Tarjan - 1986
196 Functional Data Structures – Chris Okasaki - 1996
11 Data Structures and Amortized Complexity in a Functional Setting – Berry Schoenmakers - 1992
15 Confluently Persistent Deques via Data-Structural Bootstrapping – Adam L. Buchsbaum, Robert E. Tarjan - 1993
56 Detecting global variables in denotational specifications – D A Schmidt - 1985