Tutorials
Mathematica Tutorial,
2015-week01-introduction.zip
Mathematica Tutorial
Operational Semantics,
2015-week03-semantics.zip
Types,
2015-week04-types.zip
Types & Variables,
2015-week05-types-variables.zip
Types (finish the type system implementation from last week)
Lambda Calculus,
Mathematica
- Functional Programming,
2015-week07-lambda.zip
,
HW2 Assignment
Denotational Semantics,
2015-week08-denotational-semantics.zip
Denotational Semantics II,
2015-week09-denotational-semantics-ii.pdf
,
2015-week09-denotational-semantics-ii.zip
Advanced types
2015-week10-advanced-types.pdf
Naming and state
2015-week11-naming_and_state.zip
Continuation-passing Style
2015-week12-continuations.zip
,
2015-week12-continuations.pdf
Monads
2015-week13-monads.zip
Reserve & Assessment