Valentin Pasquale

Orcid: 0009-0009-3422-476X

According to our database¹, Valentin Pasquale authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Towards the Type Safety of Pure Subtype Systems.

[DOI]

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2025

An interactive type checker for dependent types with general recursion (System Description).

[DOI]

Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025

2024

Pure Subtype Systems Are Type-Safe.

[DOI]

CoRR, 2024

2022

Winston: Revisiting iterative compilation for WCET minimization.

[DOI]

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022