From: Walid Taha <taha@cs.rice.edu>
To: William Neumann <wneumann@cs.unm.edu>
Cc: Erik de Castro Lopo <mle+ocaml@mega-nerd.com>, caml-list@inria.fr
Subject: Re: [Caml-list] Memoization
Date: Thu, 5 Oct 2006 22:22:44 -0500 (CDT) [thread overview]
Message-ID: <Pine.OSX.4.64.0610052218260.2886@walid-tahas-computer.local> (raw)
In-Reply-To: <3C306BC4-702A-451A-A44E-9659DC73FFE7@cs.unm.edu>
We recently had to put together a generic account of memoization in a
functional language (in our case OCaml) so that we can address a staging
problem in a generic manner. Section 3 of
http://www.cs.rice.edu/~taha/publications/conference/pepm06.pdf
is a low-impact buildup to memoization as a monadic library.
Walid.
|(resending to include the mailing list)
|
|On Sep 8, 2006, at 6:33 PM, Erik de Castro Lopo wrote:
|
|> Unfortunately, the URL is dead. Does anybody have another link for
|> that code or some other polymorphic memoizer?
|
|You may want to take a look at this paper by Bruce McAdam that uses a fix-point
|combinator to create all sorts of wrappers for functions, including
|memoization. The examples ore in SML, but translate pretty easily to OCaml.
|
|http://www.lfcs.inf.ed.ac.uk/reports/97/ECS-LFCS-97-375/
|
|
|William D. Neumann
|
|"I eat T-bone steaks, I lift barbell plates, I'm sweeter than a
|German chocolate cake. I'm the reflection of perfection, the number
|one selection. I'm the man of the hour, the man with the power, too
|sweet to be sour. The ladies' pet, the men's regret, where what you
|see is what you get, and what you don't see, is better yet."
|
| --Superstar Billy Graham
|
|
|
|_______________________________________________
|Caml-list mailing list. Subscription management:
|http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
|Archives: http://caml.inria.fr
|Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
|Bug reports: http://caml.inria.fr/bin/caml-bugs
|
|!DSPAM:4503307f144882042218820!
next prev parent reply other threads:[~2006-10-06 3:22 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-09-09 0:33 Memoization Erik de Castro Lopo
2006-09-09 3:38 ` [Caml-list] Memoization Andrej Bauer
2006-09-09 7:56 ` Erik de Castro Lopo
2006-09-09 15:47 ` Mike Lin
2006-09-09 21:20 ` William Neumann
2006-10-06 3:22 ` Walid Taha [this message]
2006-09-30 8:49 ` Jan Kybic
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=Pine.OSX.4.64.0610052218260.2886@walid-tahas-computer.local \
--to=taha@cs.rice.edu \
--cc=caml-list@inria.fr \
--cc=mle+ocaml@mega-nerd.com \
--cc=wneumann@cs.unm.edu \
/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