[Haskell-cafe] Un-memoization

[Stephen Tetley]

Hi Victor

There was a paper at one of the early PADL conferences describing
out-out-core data structures in Ocaml. I've never seen anyone
following up this work, possibly because RAM has got so cheap in the
last decade. If you have such large trees you may find the paper
interesting.

Although the authors used Caml they did use monads.

Tyng-Ruey Chuang and Shin-Cheng Mu, "Out-of-core functional
programming with type-based primitives,"

The paper seems to be on Citeseer.