Collaborated with:
K.Fisher B.C.Pierce D.Walker S.Zdancewic S.Gulwani V.Le A.Leung A.Radhakrishna G.Soares A.T.0001 A.Udupa
Talks about:
synthesi (1) synthes (1) suggest (1) biject (1) lens (1) edit (1) fli (1)
Person: Anders Miltner
DBLP: Miltner:Anders
Contributed to:
Wrote 2 papers:
- OOPSLA-2019-MiltnerGLLRSTU #on the #on the fly #synthesis
- On the fly synthesis of edit suggestions (AM, SG, VL, AL, AR, GS, AT0, AU), p. 29.
- POPL-2018-MiltnerFPWZ #lens
- Synthesizing bijective lenses (AM, KF, BCP, DW, SZ), p. 30.