James Koppel, Gabriel Scherer, Armando Solar-Lezama
Capturing the future by replaying the past (functional pearl)
ICFP, 2018.
@article{ICFP-2018-KoppelSS, author = "James Koppel and Gabriel Scherer and Armando Solar-Lezama", doi = "10.1145/3236771", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "29", title = "{Capturing the future by replaying the past (functional pearl)}", volume = 2, year = 2018, }