Document in the database:
Details
Fast
Mergeable Integer Maps (1998)
Chris
Okasaki
, Andrew Gill
9 documents cite this article.
Citing documents:
Details
Generalizing Generalized Tries (1999)
Ralf Hinze
Details
An Overview of Edison (2000)
Chris
Okasaki
Details
Hash consing in an ML framework
Jean-Christophe Filliâtre
Details
Generic Haskell: applications (2003)
Ralf Hinze, Johan Jeuring
Details
Bootstrapping One-sided Flexible Arrays (2002)
Ralf Hinze
Details
Associated Types with Class (2005)
Manuel M. T. Chakravarty, Gabriele Keller,
Details
Extracting a Data Flow Analyser in Constructive Logic (2004)
David Cachera,
Details
Fast
Construction of Overlay Networks (2004)
Dana Angluin, James Aspnes, Jiang
Details
Efficient Data Structures in a Lazy Functional Language (2003)
Martin Holters
CiteSeer.IST - Copyright
Penn State
and
NEC