list | abstracts | bib ]

Bidirectional Evaluation with Direct Manipulation

paper pdf   

Citation

Mikaël Mayer, Viktor Kuncak, 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 = {November 2018},
  localurl = {http://lara.epfl.ch/~kuncak/papers/MayerETAL18BidirectionalEvaluation.pdf}
}

list | abstracts | bib ]