Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chad Nester
conf.researchr.org general profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
POPL 2021 profile
Registered user since Thu 17 Mar 2022
Name:
Chad Nester
Affiliation:
Tallinn University of Technology
Contributions
2023
NWPT
Author of Presentations of Premonoidal Categories by Devices within the NWPT 2023-track
Author of Polar Interleavings for Deadlock-Free Message-Passing within the NWPT 2023-track
2021
POPL
Author of Functorial Semantics for Partial Theories within the POPL-track
Share
x
Fri 1 Dec 21:25