2016
Extracting a Formally Verified Subtyping Algorithm for Intersection Types from Ideals and Filters Proceedings Article
In: Ghilezan, Silvia (Ed.): Proceedings of 22nd International Conference on Types for Proofs and Programs, Schloss Dagstuhl, 2016, (abstract).