Computability Theory of and with Scheme

Assignments

Week 2

Due at the end of Week 2:

• Download Scheme
• Download Scheme Continuation Interpreter project (Project 3 from 6.001 Fall ‘02; links are below) and submit solutions to Problems 11, 12 and 13
  • A description of continuations (PDF)
  • Project 3 description (PDF)
  • Project 3 code
    • c-eval.scm (SCM)
    • desugar.scm (SCM)
    • meval.scm (Optional) (SCM)

Week 6

Due on Monday of Week 7: Problems 1–3 in Notes 4: Term Models (PDF)

Week 8

Due on Monday of Week 10: Problem Set 1 (PDF)

Week 10

Due at the end of Week 10: Problem 18 from Notes 5: Scheme Computability, Part I (PDF)

Week 12

Due on Wednesday of Week 13: Final Problem Set, 6 of these 10 problems:

• Notes 3: Scheme Substitution Model (PDF), Problems 2, 13 (which is more appropriately a term project (PDF)), 14
• Notes 5: Scheme Computability, Part I (PDF), Problem 21 – not Problem 22; Problem 22 can be a term project (PDF)
• Notes 6: Scheme Computability, Part II (PDF), Problems 1, 5, 6, 7, 8, 9

Week 13

Due at the beginning of this week: Course project (PDF) proposals

Week 14

Due at the end of this week: Term project (PDF)