Chad Nester
I am a researcher at Tallinn University of Technology in the Laboratory for Compositional Systems and Methods.
Teaching
ITI0212 - Functional Programming (Spring 2024)
Publications
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 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. 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)