Constructor subtyping (1999)

by G Barthe, M J Frade
Venue:Proceedings of ESOP'99, LNCS 1576