Chad Nester


I'm a Research Fellow in Programming Languages at the University of Tartu.

My research interests lie at the intersection of category theory and computer science.


Partial and Relational Algebraic Theories PhD Thesis, Tallinn University of Technology (PDF, cite)

Protocol Choice and Iteration for the Free Cornering with Niels Voorneveld. JLAMP (PDF, cite)

Concurrent Process Histories and Resource Transducers LMCS (PDF, cite)

Cornering Optics with Guillaume Boisseau and Mario Roman. ACT 2022 (PDF, cite)

A Variety Theorem for Relational Universal Algebra RAMICS 2021 (PDF, cite)

Situated Transition Systems ACT 2021 (PDF, cite)

The Structure of Concurrent Process Histories COORDINATION 2021 (PDF, cite)

Functorial Semantics for Partial Theories with Ivan Di Liberti, Fosco Loregian, and Pawel Sobocinski. POPL 2021 (PDF, cite)

A Foundation for Ledger Structures Tokenomics 2020 (PDF, cite)

System F in Agda, For Fun and Profit with James Chapman, Roman Kireev, and Philip Wadler. MPC 2019 (PDF, cite)

Unravelling Recursion: Compiling an IR with Recursion to System F with Roman Kireev, Micheal Peyton Jones, Philip Wadler, Vasilis Gkoumas, and Kenneth MacKenzie. MPC 2019 (PDF, cite)

Turing Categories and Realizability MSc Thesis, University of Calgary (PDF, cite)

Selected Talks

On Protocol Choice and Iteration for the Free Cornering MSFP 2024 (slides)

On Elgot Categories and Abacus Programs. TSEM April 2024 (slides)

On Cornering Optics. FMCS 2022, ACT 2022 (slides, video)

On Situated Transition Systems. FMCS 2021, ACT 2021 (slides, video)

On The Structure of Concurrent Process Histories. COORDINATION 2021 (slides, video)

On Partial and Relational Algebraic Theories. ACT 2024, POPL 2021, CACS 2021, CT 2021, RAMICS 2021 (slides, video)

On String Diagrams for Cartesian Restriction Categories. SPLS June 2019, SYCO 5 + Strings 3, EWSCS 2020 (slides, video)

On A Foundation for Ledger Structures. SYCO 3, Tokenomics 2020 (slides, video)

On Turing Categories and Realizability. FMCS 2014, OPLSS 2014, FMCS 2016, CT 2016, Category Theory Octoberfest 2017 (slides)