Imperative Functional Programs that Explain their Work - discu.eu

Lambda the Ultimate

Imperative Functional Programs that Explain their Work https://arxiv.org/pdf/1705.07678 5 comments 25/5/2017 Lambda Calculus

Linking pages

GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments

Related searches:

Search whole site: site:arxiv.org

Search title: Imperative Functional Programs that Explain their Work

See how to search.

Submit link to: