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).
Mixin Composition Synthesis based on Intersection Types Journal Article
In: Logical Methods in Computer Science, 2016, (submitted).