Travelled to:
1 × Brazil
1 × Canada
1 × Korea
Collaborated with:
V.Luchangco S.Ryu G.L.S.Jr. K.Donnelly A.J.Kfoury E.E.Allen
Talks about:
multipl (4) dispatch (3) coercion (2) subtyp (2) integr (2) modular (1) inherit (1) semant (1) formal (1) refer (1)
Person: J. J. Hallett
DBLP: Hallett:J=_J=
Contributed to:
Wrote 4 papers:
- SAC-2008-HallettLRS #multi #type system
- Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 166–170.
- SAC-OOPS-J-2008-HallettLRS10 #multi #type system
- Integrating coercion with subtyping and multiple dispatch (JJH, VL, SR, GLSJ), pp. 787–795.
- SAC-2007-AllenHLRS #composition #inheritance #multi
- Modular multiple dispatch with multiple inheritance (EEA, JJH, VL, SR, GLSJ), pp. 1117–1121.
- ISMM-2006-DonnellyHK #semantics
- Formal semantics of weak references (KD, JJH, AJK), pp. 126–137.