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
m 1 revision |
No edit summary |
||
| 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
Abstract:
None.