Re: abstraction power

To: riecke@research.bell-labs.com
Subject: Re: abstraction power
From: Matthias Felleisen <matthias@cs.rice.edu>
Date: Sat, 1 Jan 2000 23:08:30 -0600 (CST)
CC: types@cis.upenn.edu
In-reply-to: <200001020205.VAA22969@saul.cis.upenn.edu> (message from Jon Riecke on Sat, 01 Jan 2000 16:42:04 -0500)
References: <200001020205.VAA22969@saul.cis.upenn.edu>
Reply-to: matthias@rice.edu


Thanks Jon for tranlating the basic idea of my Scheme code into ML. 

If I can think of a simple way to show the expressive power (in the sense
that you and I publish about), I will write it up.  
 [Note: We have a paper submitted for pubs that uses the trick but it is
  difficult to distill it down to a message. Plus, the paper doesn't
  contain a proof concerning `expressiveness' -- that's not the point.]

I am aware of the exn trick, which is used for all kinds of purposes. 
Apologies for the misrepresentation of your message. And of course I 
am happy to see open-minded Typers :-)

-- Matthias