PLunch: Type Systems as Macros
Cameron Moy - University of Maryland, College Park
Abstract
Weekly PL lunch discussing the paper "Type Systems as Macros.” Discussion will be led by Cameron Moy.
Paper available here: https://www.cs.tufts.edu/~nr/cs257/archive/stephen-chang/type-systems-as-macros.pdf
Sign up to present here: https://docs.google.com/
This talk is organized by Kesha Hietala