Lambda the Ultimate Imperative - part II

We shall familiarize ourselves with one of famous AI Memos that helped shape Scheme and Common Lisp and others. This one is by Guy Lewis, Jr. Steele and Gerald Jay Sussman, whom you may recognize from both languages I mentioned or their other Lambda the Ultimate series of papers.

We demonstrate how to model the following common programmings constructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, Continuation-Passing, Escape Expressions, Fluid Variables, Call by Name, Call by Need, and Call by Reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. This paper is partly tutorial in intent, gathering all the models together for purposes of context.

AI Memos site with that particular paper:
PDF link:

By the PDF alone (if nothing else I said earlier) you can say it's dated. :-)

Join or login to comment.

5 went

Our Sponsors

People in this
Meetup are also in:

Create your own Meetup Group

Get started Learn more

Meetup has allowed me to meet people I wouldn't have met naturally - they're totally different than me.

Allison, started Women's Adventure Travel

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy