Travelled to:1 × Sweden
Collaborated with:J.Vitek F.Z.Nardelli Jeff Bezanson P.Li C.Omar D.Kurilova L.Nistor A.Potanin J.Aldrich Julia Belyakova Artem Pelenitsyn Jiahao Chen Stefan Karpinski Viral B. Shah Lionel Zoubritzky
Talks about:julia (3) subtyp (2) type (2) reconstruct (1) algorithm (1) reconcil (1) perform (1) languag (1) gradual (1) specif (1)
Person: Benjamin Chung
DBLP: Chung:Benjamin
Contributed to:
20142018
20182019Wrote 5 papers:
- ECOOP-2014-OmarKNCPA #composition
- Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
- ECOOP-2018-ChungLNV #named #type system
- KafKa: Gradual Typing for Objects (BC, PL, FZN, JV), p. 24.
- OOPSLA-2018-BezansonCCKSVZ #design #named #performance
- Julia: dynamism and performance reconciled by design (JB, JC, BC, SK, VBS, JV, LZ), p. 23.
- OOPSLA-2018-NardelliBPCBV #re-engineering #type system
- Julia subtyping: a rational reconstruction (FZN, JB, AP, BC, JB, JV), p. 27.
- ECOOP-2019-ChungNV #algorithm #performance #tuple #type system
- Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) (BC, FZN, JV), p. 15.