From z Mon Dec 04 18:28:10 2000 Received: from maguro.epr.com ([198.3.162.27]) by exchange.epr.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21) id WNKA3B01; Mon, 4 Dec 2000 09:25:05 -0800 Received: from magrathea.epr.com (firewall-user@magrathea.epr.com [198.3.160.1]) by maguro.epr.com (8.9.3/8.9.3) with ESMTP id JAA10767 for ; Mon, 4 Dec 2000 09:29:00 -0800 (PST) Received: (from uucp@localhost) by magrathea.epr.com (8.9.3/8.7.3) id JAA17632 for ; Mon, 4 Dec 2000 09:28:59 -0800 (PST) Received: from nodnsquery(199.222.69.4) by magrathea.epr.com via smap (V5.5) id xma017330; Mon, 4 Dec 00 09:28:00 -0800 Received: from clairv.com (IDENT:root@pc246.edi.nunet.net [199.249.165.246]) by mail.acm.org (8.9.3/8.9.3) with ESMTP id MAA38102 for ; Mon, 4 Dec 2000 12:27:56 -0500 Received: from nimrod.clairv.com (gateway.clairv.com [199.249.165.245]) by clairv.com (8.9.3/8.9.3) with ESMTP id LAA31672; Mon, 4 Dec 2000 11:27:56 -0600 Received: (from henry@localhost) by nimrod.clairv.com (8.9.3/8.9.3) id LAA08907; Mon, 4 Dec 2000 11:28:10 -0600 Date: Mon, 4 Dec 2000 11:28:10 -0600 From: Henry Cejtin Message-Id: <200012041728.LAA08907@nimrod.clairv.com> To: henry@sourcelight.com, jhr@research.bell-labs.com, MLton@sourcelight.com Subject: Re: CWS paper X-Spam-Checker-Version: SpamAssassin 2.60 (1.212-2003-09-23-exp) on eponym.sweeks.com X-Spam-Level: X-Spam-Status: No, hits=-100.0 required=3.0 tests=AWL,USER_IN_WHITELIST autolearn=no version=2.60 Stephen knows this stuff better than I, but I know that we talked a lot to Richard about his experiences with full CPS conversion and I know that the notion of using CPS to express the intra-procedural flow was from him. At the time I was arguing for the advantages of CPS (over direct style) and I remember showing an example from Shiver's thesis where top-level procedures were transformed into continuations (because they always were called with the same continuation). I think that Stephen put contification into MLton in response to that. (Although it might have waited until he saw that this was going to be required for nested loops, as in matrix multiplication.)