WG211/M3Hammond: Difference between revisions
From WG 2.11
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 6: | Line 6: | ||
<br>Speaker: Edwin Brady | <br>Speaker: Edwin Brady | ||
Slides: [[ | Slides: [[Media:brady.pdf]] | ||
Abstract:<br> | Abstract:<br> | ||
None. | None. | ||
Latest revision as of 14:25, 16 December 2011
Edwin Brady
Title: Proving Size Bounds with Dependent Types
Speaker: Edwin Brady
Slides: Media:brady.pdf
Abstract:
None.
