Chad Nester

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 15

Top Topics

Machine Learning And Data Mining Communities

Top Venues

Proc. ACM Program. Lang.

Publications

Chad Nester, Niels F. W. Voorneveld
Protocol choice and iteration for the free cornering. J. Log. Algebraic Methods Program. 137 (2024)
Chad Nester
Concurrent Process Histories and Resource Transducers. Log. Methods Comput. Sci. 19 (1) (2023)
Chad Nester, Niels F. W. Voorneveld
Protocol Choice and Iteration for the Free Cornering. CoRR (2023)
Guillaume Boisseau, Chad Nester, Mario Román
Cornering Optics. CoRR (2022)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial semantics for partial theories. Proc. ACM Program. Lang. 5 (POPL) (2021)
Chad Nester
A Variety Theorem for Relational Universal Algebra. CoRR (2021)
Chad Nester
The Structure of Concurrent Process Histories. COORDINATION (2021)
Chad Nester
Situated Transition Sytems. CoRR (2021)
Chad Nester
A Variety Theorem for Relational Universal Algebra. RAMiCS (2021)
Chad Nester
The Structure of Concurrent Process Histories. CoRR (2020)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial Semantics for Partial Theories. CoRR (2020)
Chad Nester
A Foundation for Ledger Structures. Tokenomics (2020)
Chad Nester
A Foundation for Ledger Structures. CoRR (2020)
Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler
Unraveling Recursion: Compiling an IR with Recursion to System F. MPC (2019)
James Chapman, Roman Kireev, Chad Nester, Philip Wadler
System F in Agda, for Fun and Profit. MPC (2019)