Mikaël Mayer, Viktor Kunčak, and Ravi Chugh. Bidirectional evaluation with direct manipulation. Proc. ACM Program. Lang, (OOPSLA, Article 127), November 2018.

[ bib ] Back