Dependently Sorted Logic. - João Filipe Belo (TYPES, 2007)

Polymorphic Contracts. - João Filipe Belo; Michael Greenberg 002; Atsushi Igarashi; Benjamin C. Pierce (ESOP, 2011)