Joan Montas

According to our database, Joan Montas authored at least 1 paper in 2026.

Collaborative distances:

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

2026

Type soundness of functional languages with subtyping in Lang-n-Prove.

Matteo Cimini, Joan Montas

Sci. Comput. Program., 2026