Constructor subtyping (1999)

by Gilles Barthe, Maria Joao Frade