Chad Nester

According to our database, Chad Nester authored at least 5 papers between 2019 and 2021.

Collaborative distances:

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

2021

Functorial semantics for partial theories.

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

Proc. ACM Program. Lang., 2021

2020

The Structure of Concurrent Process Histories.

Chad Nester

CoRR, 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