On the theory of structural subtyping (2003)

by Viktor Kuncak, Martin Rinard