DBQ
A type system with decidable bounded quantification
Yang Mingtian
Supervised by Prof Bruno C d S Oliveira