1 Assignment 1: Recursion and Higher-Order Functional Abstractions

    2 Assignment 2: Free, Bound variables

    3 Assignment 3: Lexical Addressing, Environments and Interpreters

    4 Assignment 4: Environments and Interpreters

    5 Assignment 5: Dynamic scope and Parameter-Passing Conventions

    6 Assignment 6: Continuation-Passing Style

    7 Assignment 7: Continuations and Representation Independence

    8 Assignment 8: Registerization and Trampolining

    9 Assignment 9: ParentheC Interpreter

    10 Assignment 10: Introduction to logic programming

    11 Assignment 11: Relational Interpreter and Type Inference

    12 Assignment 12: Functionalized miniKanren