E-LIB Suche - Ergebnisse für: Paraskevopoulou, Zoe

1

Computing correctly with inductive relations:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Paraskevopoulou, Zoe ; Eline, Aaron ; Lampropoulos, Leonidas - p. 966-980 , 2022

2

Compositional optimizations for CertiCoq:

Paraskevopoulou, Zoe ; Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://dl.acm.org/doi/1..

3

Compiling with continuations, correctly:

Paraskevopoulou, Zoe ; Grover, Anvay
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

4

Using ecoacoustics metrices to track grassland bird richnes..:

Shamon, Hila ; Paraskevopoulou, Zoe ; Kitzes, Justin...
Ecological Indicators. 120 (2021) - p. 106928 , 2021

Link: https://doi.org/10.1016/..

5

Compositional optimizations for CertiCoq:

Paraskevopoulou, Zoe ; Li, John M. ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

6

Compiling with continuations, correctly:

Paraskevopoulou, Zoe ; Grover, Anvay
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

7

Field surveys can improve predictions of habitat suitabilit..:

Paraskevopoulou, Zoe ; Shamon, Hila ; Songer, Melissa..
Oryx. 56 (2021) 3 - p. 465-474 , 2021

Link: https://doi.org/10.1017/..

8

Closure conversion is safe for space:

Paraskevopoulou, Zoe ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

9

Closure conversion is safe for space:

Paraskevopoulou, Zoe ; Appel, Andrew W.
Proceedings of the ACM on Programming Languages. 3 (2019) ICFP - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

10

Meta-F $$^\star $$ : Proof Automation with SMT, Tactics, an..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Martínez, Guido ; Ahman, Danel ; Dumitrescu, Victor... - p. 30-59 , 2019

Link: https://doi.org/10.1007/..

11

Generating good generators for inductive relations:

Lampropoulos, Leonidas ; Paraskevopoulou, Zoe ; Pierce, Benjamin C.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

Link: https://dl.acm.org/doi/1..

12

Generating good generators for inductive relations:

Lampropoulos, Leonidas ; Paraskevopoulou, Zoe ; Pierce, Benjamin C.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

Link: https://doi.org/10.1145/..

13

A type theory for incremental computational complexity with..:

Çiçek, Ezgi ; Paraskevopoulou, Zoe ; Garg, Deepak
ACM SIGPLAN Notices. 51 (2016) 9 - p. 132-145 , 2016

Link: https://doi.org/10.1145/..

14

A type theory for incremental computational complexity with..:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,

Çiçek, Ezgi ; Paraskevopoulou, Zoe ; Garg, Deepak - p. 132-145 , 2016

Link: https://dl.acm.org/doi/1..

15

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Intero..:

Paraskevopoulou, Zoe ; Fitzgibbons, Michael ; Thalakottur, Michelle...
http://arxiv.org/abs/2401.08287. , 2024

Link: http://arxiv.org/abs/240..