Cass Alexandru

According to our database, Cass Alexandru authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Intrinsically Correct Algorithms and Recursive Coalgebras.

Cass Alexandru, Henning Urbat, Thorsten Wißmann

CoRR, December, 2025

Intrinsically Correct Sorting in Cubical Agda.

Cass Alexandru, Vikraman Choudhury, Jurriaan Rot, Niels van der Weide

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025