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
VisualWikitext
m 1 revision
 
No edit summary
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
[[Category:WG211]]
[[Category:WG211]]


 
Edwin Brady
<HTML>
<HEAD>
<title>Edwin Brady</title>
</head>
 
<body bgcolor="white">


<p>Title: Proving Size Bounds with Dependent Types
<p>Title: Proving Size Bounds with Dependent Types
<br>Speaker: Edwin Brady
<br>Speaker: Edwin Brady


Slides: [[http://pub.smart-generators.org/M3Schedule/brady.pdf .pdf]]
Slides: [[Media:brady.pdf]]


Abstract:<br>
Abstract:<br>
None.
None.
</BODY>
</html>

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.

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