| System F in Agda, for Fun and Profit J Chapman, R Kireev, C Nester, P Wadler International Conference on Mathematics of Program Construction, 255-297, 2019 | 28 | 2019 |
| Functorial semantics for partial theories I Di Liberti, F Loregian, C Nester, P Sobociński Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 13 | 2021 |
| Unraveling recursion: compiling an IR with recursion to System F M Peyton Jones, V Gkoumas, R Kireev, K MacKenzie, C Nester, P Wadler International Conference on Mathematics of Program Construction, 414-443, 2019 | 13 | 2019 |
| The structure of concurrent process histories C Nester Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference …, 2021 | 10 | 2021 |
| Cornering optics G Boisseau, C Nester, M Román arXiv preprint arXiv:2205.00842, 2022 | 7 | 2022 |
| Turing categories and realizability C Nester University of Calgary, 2017 | 7 | 2017 |
| A foundation for ledger structures C Nester arXiv preprint arXiv:2010.08337, 2020 | 6 | 2020 |
| Concurrent process histories and resource transducers C Nester Logical Methods in Computer Science 19, 2023 | 5 | 2023 |
| Situated transition systems C Nester arXiv preprint arXiv:2105.04355, 2021 | 4 | 2021 |
| Protocol choice and iteration for the free cornering C Nester, N Voorneveld Journal of Logical and Algebraic Methods in Programming 137, 100942, 2024 | 2 | 2024 |
| Partial and Relational Algebraic Theories C Nester Tallinn University of Technology, 2024 | | 2024 |
| Presentations of Premonoidal Categories by Devices M Earnshaw, C Nester, M Román | | 2023 |
| A Variety Theorem for Relational Universal Algebra C Nester Relational and Algebraic Methods in Computer Science: 19th International …, 2021 | | 2021 |
| Unraveling Recursion: Compiling an IR with Recursion to System F K MacKenzie, C Nester, P Wadler Mathematics of Program Construction: 13th International Conference, MPC 2019 …, 2019 | | 2019 |
| Polar Interleavings for Deadlock-Free Message-Passing M Earnshaw, C Nester, M Román | | |
| Iterated Processes with Finite Interaction Type C Nester | | |
