Chad Nester

According to our database, Chad Nester authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Protocol choice and iteration for the free cornering.

Chad Nester, Niels F. W. Voorneveld

J. Log. Algebraic Methods Program., February, 2024

2023

Concurrent Process Histories and Resource Transducers.

Chad Nester

Log. Methods Comput. Sci., 2023

2022

Cornering Optics.

Guillaume Boisseau, Chad Nester, Mario Román

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Functorial semantics for partial theories.

Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski

Proc. ACM Program. Lang., 2021

Situated Transition Sytems.

Chad Nester

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

The Structure of Concurrent Process Histories.

Chad Nester

Proceedings of the Coordination Models and Languages, 2021

A Variety Theorem for Relational Universal Algebra.

Chad Nester

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

A Foundation for Ledger Structures.

Chad Nester

Proceedings of the 2nd International Conference on Blockchain Economics, 2020

2019

Unraveling Recursion: Compiling an IR with Recursion to System F.

Michael Peyton Jones, Vasilis Gkoumas, Roman Kireev, Kenneth MacKenzie, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

System F in Agda, for Fun and Profit.

James Chapman, Roman Kireev, Chad Nester, Philip Wadler

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019