Lambda the Ultimate

inactiveTopic Modeling an Algebraic Stepper
started 1/31/2002; 11:39:38 AM - last post 2/1/2002; 1:26:17 PM
Ehud Lamm - Modeling an Algebraic Stepper  blueArrow
1/31/2002; 11:39:38 AM (reads: 1656, responses: 2)
Modeling an Algebraic Stepper
This paper describes the DrScheme stepper. The major attraction is the detailed presentation of the (semantics preserving) source transformations (based on continuation marks).

Alas, I don't think the code is available. I'd love to have a look..

A better link would be the Northeastern PLT Publications Page, which I am not able to access at the moment.


Posted to theory by Ehud Lamm on 1/31/02; 11:45:00 AM

Paul Snively - Re: Modeling an Algebraic Stepper  blueArrow
2/1/2002; 10:40:24 AM (reads: 672, responses: 1)
The code—binary or source—for DrScheme is absolutely available at <http://www.cs.rice.edu/CS/PLT/packages/drscheme/download.html>

Ehud Lamm - Re: Modeling an Algebraic Stepper  blueArrow
2/1/2002; 1:26:17 PM (reads: 748, responses: 0)
I stand corrected.