WG211/M3Hammond
From WG 2.11
Edwin Brady
Title: Proving Size Bounds with Dependent Types
Speaker: Edwin Brady
Slides: Media:brady.pdf
Abstract:
None.
- This page was last modified on 16 December 2011, at 13:25.
- Privacy policy
- About WG 2.11
- Disclaimers