Constructor subtyping (1999)

View PDF

Download Links

by Gilles Barthe , Maria Joao Frade
Citations:7 - 3 self

Documents Related by Co-Citation

798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
51 Coercive subtyping – Zhaohui Luo - 1998
1177 Temporal and modal logic – E. Allen Emerson - 1995
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1353 Monads for functional programming – Philip Wadler - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990