View of V: a language with extensible record accessors and a trait-based type system

Return to Article Details V: a language with extensible record accessors and a trait-based type system Download Download PDF