[TYPES] Martin Hofmann memorial talk
"Benjamin C. Pierce" <[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] Those who still feel the loss of Martin's passing may want to know about a memorial talk on his life and work from LICS in July. Video: https://www.youtube.com/watch?v=WpWt40l_uDk Slides only: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.pdf Slides + text of presentation: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.key - Benjamin