From: Pierre Weis <pierre.weis@inria.fr>
To: basile@starynkevitch.net (Basile STARYNKEVITCH)
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] adding data persistency in Ocaml...
Date: Sat, 12 Jul 2003 00:05:49 +0200 (MET DST) [thread overview]
Message-ID: <200307112205.AAA00369@pauillac.inria.fr> (raw)
In-Reply-To: <16141.20207.531689.793421@hector.lesours> from Basile STARYNKEVITCH at "Jul 10, 103 01:33:03 pm"
> If you have wishes or ideas on how to do it, potential applications in
> need of it (CGIs are obvious candidates, but there are other
> interested applications) or pitfalls to avoid, or relevant literature,
> please feel free to discuss them on the list (or to send it to me if
> you feel it is not of general interest).
[...]
> --
>
> Basile STARYNKEVITCH http://starynkevitch.net/Basile/
> email: basile<at>starynkevitch<dot>net
> aliases: basile<at>tunes<dot>org = bstarynk<at>nerim<dot>net
> 8, rue de la Faïencerie, 92340 Bourg La Reine, France
>
> -------------------
Articles have been written on the subject by members of the Cristal
group at INRIA (they called that feature safe value I/Os); they
discussed in long the difference between writing then reading back
values from a single executable and transferring data among unrelated
programs + they explain the tension between being able to read back
stuff from a modified program wrt supporting type abstraction (either
types abstracted in Caml or type abstraction due to external
definitions). They also study the type systems needed to support this
feature directly from within the language, and the interaction with
dynamic values. Sound relevant to your study.
http://pauillac.inria.fr/jfla/2000/furuse.ps.gz
http://pauillac.inria.fr/jfla/2001/actes/07-furuse.ps
Pierre Weis
INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/
-------------------
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:[~2003-07-11 22:05 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-10 11:33 Basile STARYNKEVITCH
2003-07-10 15:03 ` Erik Arneson
2003-07-11 22:05 ` Pierre Weis [this message]
2003-07-17 7:56 ` James Leifer
2003-07-13 9:54 ` John Max Skaller
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=200307112205.AAA00369@pauillac.inria.fr \
--to=pierre.weis@inria.fr \
--cc=basile@starynkevitch.net \
--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).