Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (3 sloc) 304 Bytes

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.