Bidirectional Evaluation with Direct Manipulation

Citation

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

BibTex Entry

@article{MayerETAL18BidirectionalEvaluation,
  author = {Mika\"el Mayer and Viktor Kun\v{c}ak and Ravi Chugh},
  title = {Bidirectional Evaluation with Direct Manipulation},
  journal = {Proc. ACM Program. Lang},
  number = {OOPSLA, Article 127},
  year = {2018},
  month = {November}
}