[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: (call/cc call/cc)

To: address@hidden
Subject: Re: (call/cc call/cc)
From: Matthias Felleisen <address@hidden>
Date: Wed, 12 Dec 2001 17:08:44 -0500 (EST)
Cc: address@hidden
In-reply-to: <a05100301b83d730d4503@[10.123.114.5]> (message from LuigiBallabio on Wed, 12 Dec 2001 22:01:52 +0100)
References: <a05100301b83d730d4503@[10.123.114.5]>
Reply-to: address@hidden
Sender: address@hidden


No, (callcc callcc) is not the identity continuation but the current
continuation. If E is an evaluation context, then E[(callcc callcc)]
is more or less E - 

 (lambda (x) (abort E[x])). 

The abort is important. 

;; --- 

Sorry I looked for the dvi or ps of my LFP 88 paper on such things and 
couldn't find it. You will need to lok in your library: 

  M, Felleisen.  lambda-v-CS: An extended lambda-calculus for
  Scheme.  In Proc. 1988 Conference on Lisp and Functional
  Programming, 1988, 72--84.

-- Matthias

References:
- (call/cc call/cc)
  - From: Luigi Ballabio <ballabio@mac.com>

Prev by Date: (call/cc call/cc)
Next by Date: RE: Java
Previous by thread: (call/cc call/cc)
Next by thread: (call/cc call/cc)
Index(es):
- Date
- Thread