[TYPES] Martin Hofmann memorial talk
Benjamin C. Pierce
bcpierce at cis.upenn.edu
Thu Oct 25 06:32:56 EDT 2018
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.
Slides only: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.pdf
Slides + text of presentation: http://www.cis.upenn.edu/~bcpierce/papers/MartinHofmannMemorial.key
More information about the Types-list