Organization and Theory of Programming Languages (Spring 2000)

Course materials

• Syllabus
• Labs
  • Lab 1
  • Lab 2
  • Lab 3
  • Lab 4
• Homework assignments
  • Chapter 1
  • Chapter 2
  • Chapter 3
  • Chapter 4
  • Chapter 5
  • Chapter 6
  • Chapter 13
• Examples
  • Beta reductions
  • Path sum w/ success and failure continuations
  • Demonstration of programming in lambda calculus, including Y
  • A REPL
  • Another REPL, using a continuation
  • Reverse and reverse!
  • Tracing interpeter from March 17
  • Interpeter with procedures
  • Interpeter with assignment
• Tests
  • Test 1 (PostScript)
  • Test 2 (PostScript)
  • Final exam (PostScript)
• Supplemental readings
  • Two stories about environments
  • Notes for Section 6.1
  • Notes for Section 6.2
  • Notes for Section 6.5
• Other links
  • define-record and variant-case for DrScheme
  • Configuring DrScheme's indentation of define-record and variant-case
  • FTP site for the textbook
  • Documentation for the Scheme programming language
  • DrScheme home page

Instructor: Max Hailperin

Let me know what you think