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 edit summary |
||
| Line 1: | Line 1: | ||
[[Category:WG211]] | [[Category:WG211]] | ||
Edwin Brady | |||
<p>Title: Proving Size Bounds with Dependent Types | <p>Title: Proving Size Bounds with Dependent Types | ||
| Line 16: | Line 10: | ||
Abstract:<br> | Abstract:<br> | ||
None. | None. | ||
Revision as of 14:25, 16 December 2011
Edwin Brady
Title: Proving Size Bounds with Dependent Types
Speaker: Edwin Brady
Slides: [.pdf]
Abstract:
None.
