System F in Agda, for Fun and Profit. - James Chapman 001; Roman Kireev; Chad Nester; Philip Wadler (MPC, 2019)

Unraveling Recursion: Compiling an IR with Recursion to System F. - Michael Peyton Jones; Vasilis Gkoumas; Roman Kireev; Kenneth MacKenzie; Chad Nester; Philip Wadler (MPC, 2019)

A Foundation for Ledger Structures. - Chad Nester (Tokenomics, 2020)

A Variety Theorem for Relational Universal Algebra. - Chad Nester (RAMiCS, 2021)

The Structure of Concurrent Process Histories. - Chad Nester (COORDINATION, 2021)

Situated Transition Sytems. - Chad Nester (ACT, 2021)

Functorial semantics for partial theories. - Ivan Di Liberti; Fosco Loregiàn; Chad Nester; Pawel Sobocinski 001 (Proc. ACM Program. Lang., 2021)

Cornering Optics. - Guillaume Boisseau; Chad Nester; Mario Román (ACT, 2022)

Concurrent Process Histories and Resource Transducers. - Chad Nester (Log. Methods Comput. Sci., 2023)

Protocol choice and iteration for the free cornering. - Chad Nester; Niels F. W. Voorneveld (J. Log. Algebraic Methods Program., 2024)

Elgot Categories and Abacus Programs. - Chad Nester (CoRR, 2025)

Resourceful Traces for Commuting Processes. - Matthew Earnshaw; Chad Nester; Mario Román (CoRR, 2025)