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 WAA28893 for caml-red; Wed, 11 Oct 2000 22:39:08 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA29947 for ; Wed, 11 Oct 2000 22:13:19 +0200 (MET DST) Received: from miss.wu-wien.ac.at (miss.wu-wien.ac.at [137.208.107.17]) by nez-perce.inria.fr (8.10.0/8.10.0) with ESMTP id e9BKDJ903967 for ; Wed, 11 Oct 2000 22:13:19 +0200 (MET DST) Received: (from mottl@localhost) by miss.wu-wien.ac.at (8.9.0/8.9.0) id WAA21544; Wed, 11 Oct 2000 22:12:55 +0200 (MET DST) Date: Wed, 11 Oct 2000 22:12:55 +0200 From: Markus Mottl To: Simon Peyton-Jones Cc: Greg Morrisett , caml-list@inria.fr Subject: Re: de Bruijn indices Message-ID: <20001011221255.A19211@miss.wu-wien.ac.at> References: <74096918BE6FD94B9068105F877C002DE25889@red-pt-02.redmond.corp.microsoft.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <74096918BE6FD94B9068105F877C002DE25889@red-pt-02.redmond.corp.microsoft.com>; from simonpj@microsoft.com on Wed, Oct 11, 2000 at 04:26:39 -0700 Sender: weis@pauillac.inria.fr On Wed, 11 Oct 2000, Simon Peyton-Jones wrote: > Indeed, if any participant of this discussion is so motivated, I would > dearly love to publish a paper about the practical aspects of > efficient management of substitution and bound variables in the > Journal of Functional Programming. It doesn't have to be a "new idea". > Just articulating the unpublished experience and laying out design tradeoffs > that we've seen in this discussion would be excellent. The developers of the Teyjus-implementation of LambdaProlog have tried very hard to develop better ways of handling bindings, especially what concerns higher-order unification - this is a highly performance-critical aspect of LambdaProlog, which allows reasoning about higher-order abstract syntax. They could surely contribute valuable input on their experience. Some interesting papers on this topic can be found on their sites. The main architects of Teyjus and LambdaProlog (Gopalan Nadathur and Dale Miller): http://www-users.cs.umn.edu/~gopalan http://www.cse.psu.edu/~dale Best regards, Markus Mottl -- Markus Mottl, mottl@miss.wu-wien.ac.at, http://miss.wu-wien.ac.at/~mottl