PostScropt version of this text is available.

Class notes 24

Robert Constable

October 28, 1994

Plan

Finish account of Pure Lisp/Scheme - reflection

Philosophical remarks on computability

• Sexpressions
• Mexpressions
• Reflecting Mexpressions into Sexpressions
• Metacircular evaluator
• Shock therapy
• About this document ...