DMCA

Structural Subtyping of Non-Recursive Types is Decidable (2003)

by Viktor Kuncak , Martin Rinard
Citations:27 - 7 self