Chad Nester

Chad Nester

University of Tartu - Tartu / Estonia
Engineering & Technology / Computer Science
AD Scientific Index ID: 5936156
Тартуский университет
person_outline Chad Nester's MOST POPULAR ARTICLES
1-) System F in Agda, for Fun and ProfitJ Chapman, R Kireev, C Nester, P WadlerInternational Conference on Mathematics of Program Construction, 255-297, 2019282019
2-) Functorial semantics for partial theoriesI Di Liberti, F Loregian, C Nester, P SobocińskiProceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021152021
3-) Unraveling recursion: compiling an IR with recursion to System FM Peyton Jones, V Gkoumas, R Kireev, K MacKenzie, C Nester, P WadlerInternational Conference on Mathematics of Program Construction, 414-443, 2019152019
4-) The structure of concurrent process historiesC NesterCoordination Models and Languages: 23rd IFIP WG 6.1 International Conference …, 2021102021
5-) A foundation for ledger structuresC NesterarXiv preprint arXiv:2010.08337, 202092020