Filipa Simões Mendes

Filipa Simões Mendes

Research Fellowship (PhD)

University of Minho

filipasimoesmendes@gmail.com
.
Ciência ID

Publications

The logical essence of call-by-name CPS translations

DOI

The Logical Essence of Compiling with Continuations

8th International Conference on Formal Structures for Computation and Deduction | 2023

DOI