And, as it turns out, my logic-fu is lacking. Next time around, it’s likely I talk about the CCC = typed λ-calculus correspondence, but won’t try to actually produce the correspondence explicitly.
Michi’s blog » archive for October, 2009
- October 23rd, 2009
- 6:07 pm
- October 15th, 2009
- 6:56 am
Lecture 4 was held, and the notes are up on the wiki: Lecture 4 notes
During class, and in unrelated conversations afterwards, though, the question emerged:
If Formally differentiating datatypes gives us zippers? What happens if we formally integrate datatypes?
- October 9th, 2009
- 8:09 am
The third lecture is up on the haskell wiki.
- October 5th, 2009
- 9:25 pm
I’ve been maddeningly slow lately. With everything.
Since last week Wednesday, the second lecture is up on the Haskell wiki.