Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] [ANN] The Missing Library
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-04-28 (16:07)
From: Shivkumar Chandrasekaran <shiv@e...>
Subject: [Caml-list] Re: [ANN] The Missing Library
This might be off-topic, but wasn't there some work on a purely 
functional approach to this (?) problem? Looking back in my own ocaml 
code in the sparse matrix module in CamlFloat, I see that I used Gerard 
Huet's ideas on "contextual lists" (I think that is what it was 
called), which seems to have some bearing on this discussion.



I found some references:

  G. Huet. Linear Contexts and the Sharing Functor: Techniques for 
Symbolic Computation. Workshop on Thirty Five Years of Automath, 
Heriot-Watt University, Edinburgh, April 2002. Slides available as  ps. 
Final version in Thirty Five Years of Automating Mathematics, ed. 
Fairouz Kamareddine, Kluwer 2003. Available electronically as  pdf or 


On Apr 28, 2004, at 4:38 AM, skaller wrote:

> The key thing characterising an iterator appears to be
> that it is some state representing a position in a data
> structure.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: