From: eijiro_sumii@anet.ne.jp
To: caml-list@inria.fr
Cc: sumii@saul.cis.upenn.edu
Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results)
Date: Fri, 06 Oct 2000 15:26:59 -0400 [thread overview]
Message-ID: <20001006152659G.sumii@saul.cis.upenn.edu> (raw)
In-Reply-To: <39dce277$1@tequila.cs.yale.edu>
> > Could you provide a reference to de Bruijin indexing?
Xavier kindly gave a nice explanation.:) Thanks!
> On a related note, how would that compare (performancewise) to an
> approach like "abstract syntax" (represent a function not
> as (<id>, <exp>) and neither as <exp> (as in the case of deBruijn)
> but as fn x => <exp>) ?
As far as I know, to use that "higher-order abstract syntax" approach,
we have to _translate_ a GML program into a Caml code and evaluate it
at runtime. That is exactly what I did in the "compiling" version
(PLClubCN) of our entry, but it didn't work well because the
compilation itself (including ocamlopt.opt) took some time, which
didn't pay.
Eijiro
next prev parent reply other threads:[~2000-10-07 7:40 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-10-05 10:33 David McClain
2000-10-05 20:20 ` Stefan Monnier
2000-10-06 19:26 ` eijiro_sumii [this message]
2000-10-07 8:19 ` automatic translation in Team PLClub ICFP'2000 entry Julian Assange
2000-10-07 16:30 ` eijiro_sumii
2000-10-06 8:07 ` WWW Page of Team PLClub (Re: ICFP programming contest: results) Xavier Leroy
2000-10-07 8:35 ` Pierre Weis
2000-10-07 9:55 ` Markus Mottl
2000-10-07 10:24 ` Pierre Weis
2000-10-08 21:26 ` John Max Skaller
2000-10-10 10:23 ` Pierre Weis
2000-10-09 5:51 ` Benjamin Pierce
2000-10-09 7:19 ` de Bruijn indices (Re: WWW Page of Team PLClub) Eijiro Sumii
2000-10-10 10:36 ` Pierre Weis
2000-10-10 14:04 ` de Bruijn indices Gerard Huet
2000-10-10 17:29 ` Chet Murthy
2000-10-11 22:35 ` John Max Skaller
-- strict thread matches above, loose matches on Subject: below --
2000-10-05 22:46 WWW Page of Team PLClub (Re: ICFP programming contest: results) David McClain
2000-09-21 7:12 ICFP programming contest: results Xavier Leroy
2000-09-24 3:36 ` Eijiro Sumii
2000-10-04 18:40 ` WWW Page of Team PLClub (Re: ICFP programming contest: results) eijiro_sumii
2000-10-05 21:19 ` malc
2000-10-06 9:46 ` Julian Assange
2000-10-06 19:10 ` eijiro_sumii
2000-10-06 20:13 ` eijiro_sumii
2000-10-06 20:05 ` eijiro_sumii
[not found] ` <200010070759.JAA00538@pauillac.inria.fr>
2000-10-07 16:21 ` eijiro_sumii
2000-10-08 21:06 ` Pierre Weis
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=20001006152659G.sumii@saul.cis.upenn.edu \
--to=eijiro_sumii@anet.ne.jp \
--cc=caml-list@inria.fr \
--cc=sumii@saul.cis.upenn.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