Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
Course Notes 4
March 12
revised March 14, 2003, 826 minutes
Term Models & Equational
Massachusetts Institute of Technology 6.844, Spring '03: Computability Theory of and with Scheme Prof. Albert Meyer
Course Notes 2 February 24
revised February 28, 2003, 641 minutes
Substitution into
Massachusetts Institute of Technology 6.844, Spring '03: Computability Theory of and with Scheme Prof. Albert Meyer
Course Notes 3 March 6
revised May 13, 2003, 1203 minutes
A Substitution Model for S
Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
Course Notes 8
April 22
revised April 28, 2003, 1231 minutes
The Word Problem for Sem
Course Projects
The final project is due at the beginning of lecture on Wednesday, May 14, the last day of class. Possible projects include: 1. Any course-related project you believe will be valuable
6.001, Fall 2002-Project 3 MASSACHVSETTS INSTITVTE OF TECHNOLOGY Department of Electrical Engineering and Computer Science 6.001-Structure and Interpretation of Computer Programs Fall 2002 Project 3 I
Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
April 4
revised April 7, 2003, 834 minutes
Problem Set 1
Due: April 13
Problem 1. Pro
Massachusetts Institute of Technology 6.844, Spring '03: Computability Theory of and with Scheme Prof. Albert Meyer
Course Notes 7 April 22
revised April 22, 2003, 1115 minutes
Compiling Scheme to a M
Continuations
This note provides some additional background on continuations, and their use in controlling
the ow of computation within a process.
Continuations approach control ow dierently than stan
Massachusetts Institute of Technology 6.844, Spring '03: Computability Theory of and with Scheme Prof. Albert Meyer
Course Notes 9 April 22
revised April 30, 2003, 1115 minutes
Firstorder Theory of Co
Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
Course Notes 6
April 22
revised May 6, 2003, 10 minutes
Scheme Computability, Part II
Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
Course Notes 5
April 16
revised May 9, 2003, 1138 minutes
Scheme Computability
What c
Massachusetts Institute of Technology
6.844, Spring 03: Computability Theory of and with Scheme
Prof. Albert Meyer
Course Notes 1
February 10
revised February 25, 2003, 1300 minutes
Notes on Proving A