Version française
Home     About     Download     Resources     Contact us    
Browse thread
Finger trees
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Arnaud Spiwack <aspiwack@l...>
Subject: Re: [Caml-list] Finger trees
There's at least been a Coq implementation (proven correct if I'm not 
mistaken). Thus extractible into OCaml in a probably idiomatic way. I 
don't know if the library is self contained or just a small proof-of 
concept, though.

http://www.lri.fr/~sozeau/research/russell/fingertrees.fr.html


Arnaud Spiwack

Jon Harrop a écrit :
> I'm just perusing the multitude of tree data structures out there and was 
> wondering if anyone has a finger tree implementation written in OCaml?
>
> Cheers,
>