Chad Nester

22 papers B 3C 3Journal 13Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Simple Categorical Calculus of Interacting Processes.
CoRR
Chad Nester, Niels F. W. Voorneveld
2026 C conf
Combinatory Completeness inStructured Multicategories.
RAMICS
Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight
2026 J jnl
Monoidal categories graded by partial commutative monoids.
CoRR
Matthew Earnshaw, Chad Nester, Mario Román
2026 B conf
Resourceful Traces for Commuting Processes.
CSL
Matthew Earnshaw, Chad Nester, Mario Román
2025 J jnl
Combinatory Completeness in Structured Multicategories.
CoRR
Ivan Kuzmin, Chad Nester, Ülo Reimaa, Sam Speight
2025 J jnl
Elgot Categories and Abacus Programs.
CoRR
Chad Nester
2025 J jnl
Resourceful Traces for Commuting Processes.
CoRR
Matthew Earnshaw, Chad Nester, Mario Román
2024 J jnl
Protocol choice and iteration for the free cornering.
J. Log. Algebraic Methods Program.
Chad Nester, Niels F. W. Voorneveld
2023 J jnl
Concurrent Process Histories and Resource Transducers.
Log. Methods Comput. Sci.
Chad Nester
2023 J jnl
Protocol Choice and Iteration for the Free Cornering.
CoRR
Chad Nester, Niels F. W. Voorneveld
2022 — conf
Cornering Optics.
ACT
Guillaume Boisseau, Chad Nester, Mario Román
2021 C conf
A Variety Theorem for Relational Universal Algebra.
RAMiCS
Chad Nester
2021 J jnl
A Variety Theorem for Relational Universal Algebra.
CoRR
Chad Nester
2021 J jnl
Functorial semantics for partial theories.
Proc. ACM Program. Lang.
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2021 — conf
Situated Transition Sytems.
ACT
Chad Nester
2021 C conf
The Structure of Concurrent Process Histories.
COORDINATION
Chad Nester
2020 — conf
A Foundation for Ledger Structures.
Tokenomics
Chad Nester
2020 J jnl
A Foundation for Ledger Structures.
CoRR
Chad Nester
2020 J jnl
Functorial Semantics for Partial Theories.
CoRR
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
2020 J jnl
The Structure of Concurrent Process Histories.
CoRR
Chad Nester
2019 B conf
System F in Agda, for Fun and Profit.
MPC
James Chapman, Roman Kireev, Chad Nester, Philip Wadler
2019 B conf
Unraveling Recursion: Compiling an IR with Recursion to System F.
MPC
Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler