Version française
Home     About     Download     Resources     Contact us    
Browse thread
Canonical Set/Map datastructure?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] Canonical Set/Map datastructure?
Alain Frisch a écrit :
> Something that Jean-Christophe's implementation doesn't do but which is
> quite easy to add is to use hash-consing on patricia trees themselves,

This is a nice idea, thanks; I will eventually add this to my
implementation.

Meanwhile, I can mention that there is also an hash-consing library on
my web page (together with a paper describing the technique) and thus
it should be as ``simple'' as combining the two codes :-)

-- 
Jean-Christophe Filliâtre
http://www.lri.fr/~filliatr/