| Codata in action P Downen, Z Sullivan, ZM Ariola, S Peyton Jones European Symposium on Programming, 119-146, 2019 | 13 | 2019 |
| Making a faster Curry with extensional types P Downen, Z Sullivan, ZM Ariola, S Peyton Jones Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 58-70, 2019 | 6 | 2019 |
| Strictly capturing non-strict closures ZJ Sullivan, P Downen, ZM Ariola Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021 | 3 | 2021 |
| The essence of codata and its implementation ZJ Sullivan University of Oregon, 2018 | 2 | 2018 |
| Closure Conversion in Little Pieces ZJ Sullivan, P Downen, ZM Ariola Proceedings of the 25th International Symposium on Principles and Practice …, 2023 | 1 | 2023 |
| Reflections of Closures Z Sullivan University of Oregon, 2024 | | 2024 |
| Deriving Practical Implementations of First-Class Functions ZJ Sullivan | | |
| Exploring Codata: The Relation to Object-Orientation Z SULLIVAN | | |
