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/M3Weirich: Difference between revisions
From WG 2.11
Jump to navigationJump to search
No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
<p> | <p> | ||
Slides: [[Media:weirich-wg211.ppt| weirich-wg211.ppt]] | Slides: [[Media:weirich-wg211.ppt| weirich-wg211.ppt]] | ||
< | <br> | ||
Abstract:<br> | Abstract:<br> | ||
None. | None. | ||
Latest 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
Abstract:
None.
