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.

Abstract:
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: http://dspace.mit.edu/handle/1721.1/5790
PDF link: http://dspace.mit.edu/bitstream/handle/1721.1/5790/AIM-353.pdf?sequence=2

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:

Imagine having a community behind you

Get started Learn more
Bill

I started the group because there wasn't any other type of group like this. I've met some great folks in the group who have become close friends and have also met some amazing business owners.

Bill, started New York City Gay Craft Beer Lovers

Start your Meetup today

Act now and get 50% off.
Until February 1.

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