According to our database1, Zoe Paraskevopoulou authored at least 6 papers between 2015 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Programming Languages and Systems, 2019
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015