On the theory of structural subtyping (2003)

by Viktor Kuncak , Martin Rinard
Citations:18 - 8 self