Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Typed self-evaluation via intensional type functions., and . POPL, page 415-428. ACM, (2017)Breaking through the normalization barrier: a self-interpreter for f-omega., and . POPL, page 5-17. ACM, (2016)Campion: debugging router configuration differences., , , , , , , and . SIGCOMM, page 748-761. ACM, (2021)Reading for pleasure and progress in vocabulary and mathematics, and . British Educational Research Journal, 41 (6): 971--991 (2015)Multi-Modal Detection Fusion on a Mobile UGV for Wide-Area, Long-Range Surveillance., , , , , and . WACV, page 1905-1913. IEEE, (2019)Self-Representation in Girard's System U., and . POPL, page 471-484. ACM, (2015)Unsupervised Image Classification by Ideological Affiliation from User-Content Interaction Patterns., , , , , , , , and . CoRR, (2023)Lessons from the evolution of the Batfish configuration analysis tool., , , , , and . SIGCOMM, page 122-135. ACM, (2023)Jones-optimal partial evaluation by specialization-safe normalization., and . Proc. ACM Program. Lang., 2 (POPL): 14:1-14:28 (2018)Computer Assisted Composition in Continuous Time., , , , , , , , , and 2 other author(s). CoRR, (2019)