WG211/M3Hammond

From WG 2.11
Revision as of 12:06, 12 December 2011 by Admin (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Edwin Brady

Title: Proving Size Bounds with Dependent Types
Speaker: Edwin Brady Slides: [[http://pub.smart-generators.org/M3Schedule/brady.pdf .pdf]] Abstract:
None.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M3Hammond&oldid=133"