Constructor subtyping (1999)

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

Document Versions

Constructor subtyping –Gilles Barthe, Maria Joao Frade — 1999
Constructor Subtyping –Gilles Barthe, Maria João Frade, Maria Jo~ao Frade — 1999 — Proceedings of ESOP'99, LNCS 1576
Constructor Subtyping –Gilles Barthe, Maria João Frade, Maria Jo~ao Frade — 1999 — Proceedings of ESOP'99, LNCS 1576