[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.

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 



More information about the Types-list mailing list