From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Chung-chieh Shan Newsgroups: gmane.emacs.help Subject: Re: The fundamental concept of continuations Date: Tue, 9 Oct 2007 16:41:28 -0400 Message-ID: References: <1191906949.179197.217470@57g2000hsv.googlegroups.com> <470b1b30$0$11022$4c368faf@roadrunner.com> <1191958673.182295.207190@22g2000hsm.googlegroups.com> NNTP-Posting-Host: lo.gmane.org X-Trace: sea.gmane.org 1192017446 26088 80.91.229.12 (10 Oct 2007 11:57:26 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 10 Oct 2007 11:57:26 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Wed Oct 10 13:57:23 2007 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1IfaBl-0005bJ-5x for geh-help-gnu-emacs@m.gmane.org; Wed, 10 Oct 2007 13:57:21 +0200 Original-Received: from localhost ([127.0.0.1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1IfaBf-0002mH-Jl for geh-help-gnu-emacs@m.gmane.org; Wed, 10 Oct 2007 07:57:15 -0400 Original-Path: shelby.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!out02b.usenetserver.com!news.usenetserver.com!in01.usenetserver.com!news.usenetserver.com!in03.usenetserver.com!news.usenetserver.com!pc03.usenetserver.com!fe089.usenetserver.com.POSTED!602e96a5!not-for-mail Original-Newsgroups: comp.lang.scheme, comp.lang.lisp, comp.lang.functional, gnu.emacs.help, comp.lang.python User-Agent: tin/1.9.2-20070201 ("Dalaruan") (UNIX) (Linux/2.6.22 (i686)) Original-Lines: 22 Original-X-Complaints-To: abuse@WWWSpace.NET Original-NNTP-Posting-Date: Tue, 09 Oct 2007 17:01:12 EDT Original-Xref: shelby.stanford.edu comp.lang.scheme:74416 comp.lang.lisp:230837 comp.lang.functional:62610 gnu.emacs.help:152775 comp.lang.python:515610 X-Mailman-Approved-At: Wed, 10 Oct 2007 07:53:28 -0400 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:48298 Archived-At: gnuist006@gmail.com wrote in article <1191958673.182295.207190@22g2000hsm.googlegroups.com> in comp.lang.functional: > > One of the most lucid explanations of definitional interpreters -- > > including those that are based on continuation-passing -- are > > explained in J. Reynolds' famous 1971 "Definitional Interpreters for > > Higher-Order Functions" paper. (It has been re-published in 1998 in > > HOSC.) The paper also explains how to perform defunctionalization, > > which can be seen as a way to compile (and even hand-compile) > > higher-order programs. > > Matthias, thanks for the reference, but I dont have access to an > engineering library. I would appreciate, if you have access to paper/ > scanner or electronic copy to help many of us out, you are > not just helping me but many will thank you. If nothing else, please use Google. Many will thank you. http://www.google.com/search?hl=en&q=Definitional+Interpreters+for+Higher-Order+Functions&btnG=Search -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig If monads encapsulate effects and lists form a monad, do lists correspond to some effect? Indeed they do, and the effect they correspond to is choice. Wadler 1995, Monads for fn'l programming