Imperative functional programs that explain their work

Wilmer Ricciotti, Jan Stolarek, Roly Perera, James Cheney. Imperative functional programs that explain their work. Proceedings of the ACM on Programming Languages, 1(ICFP), 2017. [doi]

No reviews for this publication, yet.