Travelled to:
1 × Spain
1 × Sweden
1 × Switzerland
1 × The Netherlands
Collaborated with:
J.Aldrich Ian Voysey M.A.Hammer C.Wang Y.Yoon T.D.LaToza B.A.Myers R.Chugh M.Hilton D.Kurilova L.Nistor B.Chung A.Potanin
Talks about:
type (4) compos (2) implement (1) structur (1) programm (1) hazelnut (1) function (1) fragment (1) calculus (1) bidirect (1)
Person: Cyrus Omar
DBLP: Omar:Cyrus
Contributed to:
Wrote 6 papers:
- SAC-2015-OmarWA #composition #metaprogramming #syntax
- Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
- ECOOP-2014-OmarKNCPA #composition
- Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
- ICSE-2012-OmarYLM #code completion
- Active code completion (CO, YY, TDL, BAM), pp. 859–869.
- GPCE-2016-OmarA #design #implementation #programmable #semantics
- Programmable semantic fragments: the design and implementation of typy (CO, JA), pp. 81–92.
- POPL-2017-OmarVHAH #bidirectional #calculus #editing #named
- Hazelnut: a bidirectionally typed structure editor calculus (CO, IV, MH, JA, MAH), pp. 86–99.
- POPL-2019-OmarVCH #functional #programming
- Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.