Travelled to:1 × Canada
1 × USA
Collaborated with:E.E.Allen V.Luchangco G.L.S.Jr. J.Maessen J.Hilburn S.Kilpatrick S.Ryu
Talks about:multipl (2) polymorph (1) parametr (1) dispatch (1) modular (1) inherit (1) orient (1) object (1) measur (1) check (1)
Person: David Chase
DBLP: Chase:David
Contributed to:
20112004Wrote 2 papers:
- OOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism #type checking
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.
- OOPSLA-2004-AllenCLMS #metric #object-oriented
- Object-oriented units of measurement (EEA, DC, VL, JWM, GLSJ), pp. 384–403.