From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA11296 for caml-red; Thu, 5 Oct 2000 22:32:59 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA31451 for <caml-list@pauillac.inria.fr>; Thu, 5 Oct 2000 22:20:14 +0200 (MET DST)
Received: from tequila.cs.yale.edu (tequila.cs.yale.edu [128.36.229.152])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e95KKDH16674
	for <caml-list@inria.fr>; Thu, 5 Oct 2000 22:20:14 +0200 (MET DST)
Received: from tequila.cs.yale.edu (localhost [127.0.0.1])
	by tequila.cs.yale.edu (8.9.3/8.9.3) with SMTP id QAA09433
	for <caml-list@inria.fr>; Thu, 5 Oct 2000 16:20:12 -0400
To: caml-list@inria.fr
From: "Stefan Monnier" <monnier+lists/caml/news/@RUM.CS.YALE.EDU>
Newsgroups: lists.caml
Subject: Re: WWW Page of Team PLClub (Re: ICFP programming contest: results)
References: <001f01c02eb7$b41c99c0$210148bf@dylan>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.0.90
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Path: rum.cs.yale.edu
NNTP-Posting-Host: rum.cs.yale.edu
Message-ID: <39dce277$1@tequila.cs.yale.edu>
Date: 5 Oct 2000 16:20:07 -0400
X-Trace: 5 Oct 2000 16:20:07 -0400, rum.cs.yale.edu
Sender: weis@pauillac.inria.fr

>>>>> "David" == David McClain <dmcclain@azstarnet.com> writes:
> Could you provide a reference to de Bruijin indexing? I recall reading about

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>) ?


        Stefan