The stuff of my talk — and good deal of other stuff that I did not manage to cover for lack of time :D — is put up at github.
To view, you will need
- Freeplane to read the mindmaps
- Gofer (with my modifications) for running the code
The original gofer is an excellent piece of software by Mark Jones. Those who find Haskell frighteningly difficult may find this more approachable.
About the code examples:
- The examples I showed — Nat and Expression trees — are in simple
- A toy but fuller denotational semantics for a tiny imperative language is in denot (which I never reached!!)
- A slightly more realistic example (which I never expected to reach) is in denotwithparser
And finally the dancing λ (direct access) thanks to my artist friend Saket Anand!