This page shows all presentations of this author published in EasyChair Smart Slide.
Formalization of a Polymorphic Subtyping Algorithm
Jinxu Zhao, Bruno C. D. S. Oliveira and Tom Schrijvers