- Catenable DoubleEnded Queues Chris Okasaki \Lambda
- Simple Confluently Persistent Catenable Lists. (Extended Abstract)
- From Fast Exponentiation to Square Matrices: An Adventure in Types Chris Okasaki
- J. Functional Programming 7 , To appear. c fl 1997 Cambridge University Press 1
- J. Functional Programming 6(6): 839--857, November 1996 c fl 1996 Cambridge University Press 1
- Under consideration for publication in J. Functional Programming 1 THEORET I CAL PEARLS
- J. Functional Programming 5(4): 583--592, October 1995 c fl 1995 Cambridge University Press 583
- The Role of Lazy Evaluation in Amortized Data Structures Chris Okasaki \Lambda
- Fast Mergeable Integer Maps Chris Okasaki y
- BreadthFirst Numbering: Lessons from a Small Exercise in Algorithm Design
- Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking \Lambda
- Views for Standard ML Chris Okasaki \Lambda
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 57--81, 1994 fl 1994 Kluwer Academic Publishers --Manufactured in The Netherlands
- Purely Functional RandomAccess Lists Chris Okasaki
- Functional Data Structures Chris Okasaki ?
- J. Functional Programming , To appear. c fl 1997 Cambridge University Press 1
- J. Functional Programming 7 (6) 661666, November 1997 c 1997 Cambridge University Press 661 FUNCTIONAL PEARLS
- J. Functional Programming 5(4): 583592, October 1995 c 1995 Cambridge University Press 583 Simple and Efficient Purely Functional Queues
- Alternatives to Two Classic Data Structures Chris Okasaki
- Under consideration for publication in J. Functional Programming 1 THEORETICAL PEARLS
- Simple Con uently Persistent Catenable Lists. (Extended Abstract)
- Catenable Double-Ended Queues Chris Okasaki
- Functional Data Structures Chris Okasaki?
- J. Functional Programming 6(6): 839857, November 1996 c 1996 Cambridge University Press 1 Optimal Purely Functional Priority Queues
- Amortization, Lazy Evaluation, and Persistence: Lists with Catenation via Lazy Linking
- Purely Functional Random-Access Lists Chris Okasaki
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 57{81, 1994 c 1994 Kluwer Academic Publishers { Manufactured in The Netherlands
- From Fast Exponentiation to Square Matrices: An Adventure in Types Chris Okasaki
- J. Functional Programming 8(2) 195199, March 1998. c 1998 Cambridge University Press 195 FUNCTIONAL PEARLS
- J. Functional Programming 9(4) 471477, July 1999. c 1999 Cambridge University Press 471 FUNCTIONAL PEARLS
- Safe-for-Space Threads in Standard ML Edoardo Biagioni Ken Cline Peter Lee
- J. Functional Programming 1 (1): 1--000, January 1993 c fl 1993 Cambridge University Press 1
- The Role of Lazy Evaluation in Amortized Data Structures Chris Okasaki
- Views for Standard ML Chris Okasaki
- Breadth-First Numbering: Lessons from a Small Exercise in Algorithm Design
