Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
Home Page:http://dl.acm.org/citation.cfm?id=3110258
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
