Constructor subtyping (1999)

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