Circuit timing analysis, linear maps, and semantic morphisms

I gave this talk at a meeting of the IFIP Working Group 2.8 (on functional programming) in October 2012 in Annapolis.

You can find the slides (PDF) in my talks folder.