Combinatory Logic, Abstraction, iota and jot
The problem with lambdas: compiling them to run on a computer.
The problem with lambdas: compiling them to run on a computer.
Preliminaries
An exploration of macros, and some debugging tips from them.
The rest of the program …
Opening act
Today topics
Questions
Questions
A couple of notes.
Questions
Questions Brief Homework questions
Questions and Update I renamed some questions on hw to correspond w/these notes. Brief Homework questions
Objectives
Objectives
The three projections of Dr. Futamura
A full-day exam review.
Questions? Let's do them!
See extended lecture notes and video on performing this transformation