Filipa Mendes

According to our database¹, Filipa Mendes authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

The logical essence of call-by-name CPS translations.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024

2023

Decision support tool to define the optimal pool testing strategy for SARS-CoV-2.

[BibT_eX]

[DOI]

Decis. Support Syst., December, 2023

The Logical Essence of Compiling with Continuations.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023