10.5281/zenodo.2527270
https://zenodo.org/records/2527270
oai:zenodo.org:2527270
James Koppel
James Koppel
MIT
Gabriel Scherer
Gabriel Scherer
INRIA
Armando Solar-Lezama
Armando Solar-Lezama
MIT
Capturing the Future by Replaying the Past
Zenodo
2018
monads, continuations, delimited continuations, delimited control, sml
2018-07-30
eng
10.5281/zenodo.2527269
Creative Commons Attribution 4.0 International
This artifact contains a Docker image with all sources and benchmarks used in our ICFP 2018 paper "Capturing the Future by Replaying the Past."
National Science Foundation
10.13039/100000001
1122374
Graduate Research Fellowship Program