From: Shivkumar Chandrasekaran <shiv@ece.ucsb.edu>
To: caml-list@inria.fr
Subject: [Caml-list] Re: [ANN] The Missing Library
Date: Wed, 28 Apr 2004 09:07:26 -0700 [thread overview]
Message-ID: <249A1EB6-992E-11D8-AABC-000393942C76@ece.ucsb.edu> (raw)
In-Reply-To: <1083152284.9537.931.camel@pelican.wigram>
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.
--shiv--
PS:
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
ps.
at
http://pauillac.inria.fr/~huet/bib.html
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 caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2004-04-28 16:07 UTC|newest]
Thread overview: 199+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-04-23 18:51 [Caml-list] " John Goerzen
2004-04-23 19:52 ` Kenneth Knowles
2004-04-23 20:09 ` Alexander V. Voinov
2004-04-23 20:27 ` John Goerzen
2004-04-23 20:23 ` John Goerzen
2004-04-23 20:36 ` Maxence Guesdon
2004-04-23 21:10 ` John Goerzen
2004-04-23 21:12 ` Maxence Guesdon
2004-04-23 21:18 ` Maxence Guesdon
2004-04-23 21:32 ` Nicolas Cannasse
2004-04-23 21:46 ` John Goerzen
2004-04-23 21:58 ` Maxence Guesdon
2004-04-24 8:15 ` Matthieu BRUCHER
2004-04-24 8:15 ` Maxence Guesdon
2004-04-23 21:36 ` John Goerzen
2004-04-23 21:33 ` John Goerzen
2004-04-23 22:04 ` Alain.Frisch
2004-04-24 4:26 ` John Goerzen
2004-04-24 8:13 ` Alain.Frisch
2004-04-24 9:28 ` Nicolas Cannasse
2004-04-25 8:56 ` Common IO structure (was Re: [Caml-list] [ANN] The Missing Library) Yamagata Yoriyuki
2004-04-25 11:54 ` Gerd Stolpmann
2004-04-26 14:53 ` [Caml-list] Re: Common IO structure Yamagata Yoriyuki
2004-04-26 21:02 ` Gerd Stolpmann
2004-04-25 19:42 ` Common IO structure (was Re: [Caml-list] [ANN] The Missing Library) Nicolas Cannasse
2004-04-26 13:16 ` [Caml-list] Re: Common IO structure Yamagata Yoriyuki
2004-04-26 13:53 ` Jacques GARRIGUE
2004-04-26 14:26 ` Nicolas Cannasse
2004-04-28 6:52 ` Jacques GARRIGUE
2004-04-26 14:23 ` Nicolas Cannasse
2004-04-26 14:55 ` skaller
2004-04-26 15:26 ` Yamagata Yoriyuki
2004-04-26 19:28 ` Nicolas Cannasse
2004-04-26 20:56 ` Gerd Stolpmann
2004-04-26 21:14 ` John Goerzen
2004-04-26 22:32 ` Gerd Stolpmann
2004-04-26 21:52 ` Benjamin Geer
2004-04-27 16:00 ` Yamagata Yoriyuki
2004-04-27 21:51 ` Gerd Stolpmann
2004-04-27 19:08 ` Nicolas Cannasse
2004-04-27 22:22 ` Gerd Stolpmann
2004-04-28 7:42 ` Nicolas Cannasse
2004-04-29 10:13 ` Yamagata Yoriyuki
2004-04-27 15:43 ` Yamagata Yoriyuki
2004-04-27 16:17 ` Nicolas Cannasse
2004-04-27 16:58 ` Yamagata Yoriyuki
2004-04-27 23:35 ` Benjamin Geer
2004-04-28 3:44 ` John Goerzen
2004-04-28 13:01 ` Richard Jones
2004-04-28 21:30 ` Benjamin Geer
2004-04-28 21:44 ` John Goerzen
2004-04-28 22:41 ` Richard Jones
2004-04-29 11:51 ` Benjamin Geer
2004-04-29 12:03 ` Richard Jones
2004-04-29 15:16 ` Benjamin Geer
2004-04-29 10:27 ` Yamagata Yoriyuki
2004-04-29 13:03 ` John Goerzen
2004-04-29 13:40 ` Yamagata Yoriyuki
2004-04-29 14:02 ` John Goerzen
2004-04-29 15:31 ` Yamagata Yoriyuki
2004-04-29 17:31 ` james woodyatt
2004-04-29 23:53 ` Benjamin Geer
2004-04-30 4:10 ` james woodyatt
2004-04-29 11:23 ` Benjamin Geer
2004-04-29 12:23 ` Richard Jones
2004-04-29 15:10 ` Benjamin Geer
2004-04-29 15:35 ` John Goerzen
2004-04-29 15:46 ` Benjamin Geer
2004-04-29 15:58 ` Richard Jones
2004-04-29 20:41 ` John Goerzen
2004-04-29 22:35 ` Benjamin Geer
2004-05-01 14:37 ` Brian Hurt
2004-04-29 13:23 ` John Goerzen
2004-04-29 14:12 ` John Goerzen
2004-04-29 15:37 ` Benjamin Geer
2004-04-28 7:05 ` Nicolas Cannasse
2004-04-28 0:20 ` skaller
2004-04-28 3:39 ` John Goerzen
2004-04-28 13:04 ` Richard Jones
2004-04-24 9:40 ` [Caml-list] [ANN] The Missing Library Oliver Bandel
2004-04-23 22:54 ` Henri DF
2004-04-23 23:11 ` Shawn Wagner
2004-04-25 6:55 ` james woodyatt
2004-04-25 7:56 ` Brandon J. Van Every
2004-04-25 11:50 ` Benjamin Geer
2004-04-25 13:55 ` skaller
2004-04-26 12:08 ` Martin Berger
2004-04-26 12:51 ` skaller
2004-04-26 14:49 ` skaller
2004-04-28 4:31 ` Brian Hurt
2004-04-28 5:13 ` Jon Harrop
2004-04-28 8:37 ` skaller
2004-04-28 9:18 ` Jon Harrop
2004-04-28 11:24 ` skaller
2004-04-28 15:18 ` John Goerzen
2004-04-28 16:28 ` skaller
2004-04-28 18:02 ` John Goerzen
2004-04-29 0:54 ` skaller
2004-04-29 11:57 ` Andreas Rossberg
2004-04-29 13:38 ` John Goerzen
2004-04-28 18:42 ` Jon Harrop
2004-04-29 1:03 ` skaller
2004-04-29 1:56 ` Jon Harrop
2004-04-29 2:35 ` skaller
2004-04-29 3:00 ` skaller
2004-04-29 5:04 ` Jon Harrop
2004-04-29 5:38 ` skaller
2004-04-29 5:47 ` james woodyatt
2004-04-29 12:05 ` Andreas Rossberg
2004-04-28 17:07 ` james woodyatt
2004-04-28 17:31 ` skaller
2004-05-03 0:02 ` Marcin 'Qrczak' Kowalczyk
2004-05-03 7:54 ` skaller
2004-05-03 8:58 ` Marcin 'Qrczak' Kowalczyk
2004-05-03 10:58 ` skaller
2004-05-03 12:40 ` Marcin 'Qrczak' Kowalczyk
2004-05-03 13:04 ` Nicolas Cannasse
2004-05-03 14:24 ` brogoff
2004-05-03 15:26 ` Marcin 'Qrczak' Kowalczyk
2004-05-03 15:08 ` skaller
2004-05-03 16:00 ` Marcin 'Qrczak' Kowalczyk
2004-05-03 11:32 ` [Caml-list] Re: Tail-calls in C code (was: [ANN] The Missing Library) Wolfgang Lux
2004-05-03 12:34 ` skaller
2004-05-03 12:38 ` skaller
2004-05-03 12:55 ` skaller
2004-05-03 13:02 ` Marcin 'Qrczak' Kowalczyk
2004-04-28 15:15 ` [Caml-list] [ANN] The Missing Library John Goerzen
2004-04-28 20:43 ` Jon Harrop
2004-04-30 15:58 ` Brian Hurt
2004-05-01 2:48 ` skaller
2004-04-28 8:24 ` skaller
2004-04-28 8:42 ` Martin Berger
2004-04-28 11:38 ` skaller
2004-04-28 16:07 ` Shivkumar Chandrasekaran [this message]
2004-04-28 11:31 ` Yaron M. Minsky
2004-04-28 12:09 ` skaller
2004-04-28 12:36 ` Nicolas Cannasse
2004-04-28 13:39 ` skaller
2004-04-28 14:02 ` Nicolas Cannasse
2004-04-28 15:34 ` skaller
2004-04-28 13:15 ` Jean-Christophe Filliatre
2004-04-28 14:31 ` skaller
2004-04-28 14:40 ` Jean-Christophe Filliatre
2004-04-28 15:51 ` skaller
2004-04-28 13:29 ` Andreas Rossberg
2004-04-28 16:10 ` [Caml-list] " Shivkumar Chandrasekaran
2004-04-28 17:14 ` skaller
2004-04-28 17:34 ` Shivkumar Chandrasekaran
2004-04-28 20:00 ` Jon Harrop
2004-04-25 12:20 ` [Caml-list] " Benjamin Geer
2004-04-25 14:06 ` skaller
2004-04-25 15:07 ` Benjamin Geer
2004-04-26 0:19 ` skaller
2004-04-23 22:08 ` Basile STARYNKEVITCH
2004-04-24 4:40 ` John Goerzen
2004-04-24 10:10 ` Oliver Bandel
2004-04-24 19:31 ` skaller
2004-04-23 20:54 ` Kenneth Knowles
2004-04-23 21:07 ` John Goerzen
2004-04-25 15:43 ` Brian Hurt
2004-04-26 0:22 ` skaller
2004-04-28 4:10 ` Brian Hurt
2004-04-26 6:48 ` Florian Hars
2004-04-23 20:41 ` Eric C. Cooper
2004-04-23 21:16 ` John Goerzen
2004-04-23 22:28 ` Shawn Wagner
2004-04-23 22:37 ` Kenneth Knowles
2004-04-23 23:16 ` Shawn Wagner
2004-04-24 1:38 ` [Caml-list] ocamlopt -pack portability John Carr
2004-04-24 10:31 ` Oliver Bandel
2004-04-24 16:53 ` John Carr
2004-04-24 4:46 ` [Caml-list] [ANN] The Missing Library John Goerzen
2004-04-24 2:43 ` Yamagata Yoriyuki
2004-04-24 9:19 ` Nicolas Cannasse
2004-04-24 12:27 ` Shawn Wagner
2004-04-24 12:58 ` Alain.Frisch
2004-04-24 17:36 ` Nicolas Cannasse
2004-04-26 14:49 ` Florian Hars
2004-04-24 2:44 ` Yamagata Yoriyuki
2004-04-24 4:51 ` John Goerzen
2004-04-24 5:11 ` Jon Harrop
2004-04-24 12:59 ` Proposal: community standard library project (was: Re: [Caml-list] [ANN] The Missing Library) Benjamin Geer
2004-04-24 17:29 ` [Caml-list] RE: Proposal: community standard library project Brandon J. Van Every
2004-04-24 18:23 ` Benjamin Geer
2004-04-25 4:37 ` Brandon J. Van Every
2004-04-26 1:45 ` [Caml-list] " Jacques GARRIGUE
2004-04-26 3:03 ` Brandon J. Van Every
2004-04-26 7:43 ` Martin Jambon
2004-04-26 18:25 ` Benjamin Geer
2004-04-26 19:37 ` Gerd Stolpmann
2004-04-26 20:24 ` skaller
2004-04-26 20:39 ` John Goerzen
2004-04-26 22:17 ` Brandon J. Van Every
2004-04-27 9:06 ` skaller
2004-04-27 9:35 ` Alain.Frisch
2004-04-27 11:29 ` Gerd Stolpmann
2004-04-27 12:52 ` skaller
2004-04-27 18:13 ` [Caml-list] CVS labeling (was Re: Proposal: community standard library project) Brandon J. Van Every
2004-04-27 18:53 ` John Goerzen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=249A1EB6-992E-11D8-AABC-000393942C76@ece.ucsb.edu \
--to=shiv@ece.ucsb.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).