Milo Turner

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Similarity Measure

Complex Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent Type Systems as Macros. CoRR (2021)
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent type systems as macros. Proc. ACM Program. Lang. 4 (POPL) (2020)