Capturing the future by replaying the past (functional pearl)

James Koppel, Gabriel Scherer, Armando Solar-Lezama. Capturing the future by replaying the past (functional pearl). Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Authors

James Koppel

This author has not been identified. Look up 'James Koppel' in Google

Gabriel Scherer

This author has not been identified. Look up 'Gabriel Scherer' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google