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 VAA28524 for caml-red; Wed, 11 Oct 2000 21:51:04 +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 OAA23135 for <caml-list@pauillac.inria.fr>; Wed, 11 Oct 2000 14:12:37 +0200 (MET DST)
Received: from mail3.microsoft.com (mail3.microsoft.com [131.107.3.123])
	by concorde.inria.fr (8.10.0/8.10.0) with SMTP id e9BCCXb00438
	for <caml-list@inria.fr>; Wed, 11 Oct 2000 14:12:35 +0200 (MET DST)
Received: from 157.54.9.100 by mail3.microsoft.com (InterScan E-Mail VirusWall NT); Wed, 11 Oct 2000 04:49:34 -0700 (Pacific Daylight Time)
Received: by INET-IMC-03 with Internet Mail Service (5.5.2651.58)
	id <4VDH81A9>; Wed, 11 Oct 2000 04:26:47 -0700
Message-ID: <74096918BE6FD94B9068105F877C002DE25889@red-pt-02.redmond.corp.microsoft.com>
From: Simon Peyton-Jones <simonpj@microsoft.com>
To: Greg Morrisett <jgm@cs.cornell.edu>, caml-list@inria.fr
Subject: RE: de Bruijn indices 
Date: Wed, 11 Oct 2000 04:26:39 -0700
X-Mailer: Internet Mail Service (5.5.2651.58)
Sender: weis@pauillac.inria.fr

| comparisons.  I really think the community needs a bunch
| of "systems" paper on this topic that do a careful examination 
| of the tradeoffs for important applications like type-checkers,
| compilers, and theorem provers.  Like realistic techniques
| for garbage collection, too much is locked in the brains of 
| implementors.

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. 

Send me a paper!  (Or send it to Greg, who's also a JFP editor.)

Simon