João Filipe Belo

Dependently Sorted Logic

João Filipe Belo, 2007, TYPES.

Polymorphic Contracts

Atsushi Igarashi, Benjamin C. Pierce, Michael Greenberg, 2011, ESOP.