nominal subtyping systems / type systems / inheritance linearization algorithms / /
Person
Lars Bak / Lars Bak Gilad Bracha Steffen / Robert Griesemer / Robert Griesemer David Griswold Urs / David Griswold / Steffen Grarup / Bracha Steffen Grarup Robert Griesemer David / /