JOE GIBBS POLITZ
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. Linked resources may have their own licenses, refer to them for details.
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. Linked resources may have their own licenses, refer to them for details.
Repartee at Plateau 2021
The prototype implementation is on the anchor branch of the pyret-lang repo: https://github.com/brownplt/pyret-lang/tree/anchor. For archives and reproducibility, the commit used for the paper and talk is a2f332b96ad97ec441fea47ecb5a1a98eb693aeb.
The live demo (which may have some updates since the paper and/or talk, depending on when you are reading this) is at: https://pyret-anchor.s3.amazonaws.com/anchor/index.html, as it automatically re-builds from that repository.
There is also a direct link to the code used for the demo in the paper and the talk.
Read the paper here: https://cs.brown.edu/~sk/Publications/Papers/Published/pmvnpkl-repartee-repl/
The demo videos from the paper are directly linked below:
The earlier blog post on this site that Joe Gibbs Politz and Michael MacLeod wrote summarizing the goals of the project is here: https://jpolitz.github.io/notes/2020/07/10/repl-problems.html