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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.