On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M3Hammond: Difference between revisions
From WG 2.11
Jump to navigationJump to search
m 1 revision |
(No difference)
|
Revision as of 11:06, 12 December 2011
Title: Proving Size Bounds with Dependent Types
Speaker: Edwin Brady
Slides: [[http://pub.smart-generators.org/M3Schedule/brady.pdf .pdf]]
Abstract:
None.
