Collaborated with:
C.Omar M.A.Hammer R.Chugh M.Hilton J.Aldrich
Talks about:
type (2) structur (1) hazelnut (1) function (1) calculus (1) bidirect (1) program (1) editor (1) live (1) hole (1)
Person: Ian Voysey
DBLP: Voysey:Ian
Contributed to:
Wrote 2 papers:
- 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.