Zena Ariola
University of Oregon
H-index: 25
North America-United States
Top articles of Zena Ariola
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Closure Conversion in Little Pieces | Zachary J Sullivan Paul Downen Zena M Ariola | 2023/10/22 | |
Classical (co) recursion: Mechanics | Journal of Functional Programming | Paul Downen Zena M Ariola | 2023 |
Strictly capturing non-strict closures | Zachary J Sullivan Paul Downen Zena M Ariola | 2021/1/18 | |
Duality in action (invited talk) | Paul Downen Zena M Ariola | 2021 | |
Classical (Co) Recursion: Programming | arXiv preprint arXiv:2103.06913 | Paul Downen Zena M Ariola | 2021/3/11 |
Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) | arXiv preprint arXiv:1502.01142 | Keiichi Nemoto Peter A Gloor Cristobal J Garcia Julia Gluesing Takashi Iba | 2015/2/4 |
5th International Conference on Formal Structures for Computation and Deduction | Zena M Ariola | 2020/6 | |
A computational understanding of classical (co) recursion | Paul Downen Zena M Ariola | 2020/9/8 | |
Abstracting models of strong normalization for classical calculi | Journal of Logical and Algebraic Methods in Programming | Paul Downen Philip Johnson-Freyd Zena M Ariola | 2020/2/1 |
LIPIcs, Volume 167, FSCD 2020, Complete Volume | Zena M Ariola | 2020 | |
Compiling with classical connectives | Logical methods in computer science | Paul Downen Zena M Ariola | 2020/8/28 |
Kinds are calling conventions | Proceedings of the ACM on Programming Languages | Paul Downen Zena M Ariola Simon Peyton Jones Richard A Eisenberg | 2020/8/2 |
