Federico Lochbaum

According to our database¹, Federico Lochbaum authored at least 3 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

On the Effectiveness of Interpreter-Guided Compiler Testing.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 9th International Conference on the Art, 2025

2020

Semantics of a Relational λ-Calculus (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Semantics of a Relational λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020