Difference between revisions of "WG211/M3Weirich"
From WG 2.11
m (1 revision) |
|||
Line 1: | Line 1: | ||
[[Category:WG211]] | [[Category:WG211]] | ||
− | + | Stephanie Weirich | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
Title: | Title: | ||
Line 13: | Line 7: | ||
<br>Speaker: Stephanie Weirich | <br>Speaker: Stephanie Weirich | ||
<p> | <p> | ||
− | Slides: [[ | + | Slides: [[Media:weirich-wg211.ppt| weirich-wg211.ppt]] |
<p> | <p> | ||
Abstract:<br> | Abstract:<br> | ||
None. | None. | ||
− | |||
− | |||
− |
Revision as of 15:37, 16 December 2011
Stephanie Weirich
Title:
Practical type inference for advanced type systems
Speaker: Stephanie Weirich
Slides: weirich-wg211.ppt
<p>
Abstract:
None.