João Filipe Belo

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

Publications

João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
Polymorphic Contracts. ESOP (2011)
João Filipe Belo
Dependently Sorted Logic. TYPES (2007)