attempt to formalize the subtyping relationship between qualified types by introducing notion of "invariant subtyping". (Formalizing a concept already used internally by the compiler.)
attempt to formalize the subtyping relationship between qualified types
by introducing notion of "invariant subtyping". (Formalizing a concept
already used internally by the compiler.)
gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon,gijsleussink/ceylon