88 citations
- University of TartuEE5 papers
- Tallinn University of TechnologyEE3 papers
- Institute of Applied Science and Intelligent SystemsIT2 papers
- Einstein Center Digital FutureDE1 paper
- Einstein Center for Neurosciences BerlinDE1 paper
- Institute of Applied PhysicsMD1 paper
- Khalifa University of Science and TechnologyAE1 paper
- Queensland University of TechnologyAU1 paper
- Technische Universität BerlinDE1 paper
- University of BirminghamGB1 paper
- University of BristolGB1 paper
- University of GothenburgSE1 paper
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012
Structured general corecursion and coinductive graphs [extended abstract]
Tarmo Uustalu
Bove and Capretta's popular method for justifying function definitions by general recursive equations is based on the observation that any structured general recursion equation def…
cs.LO2012
Proceedings Fourth Workshop on Mathematically Structured Functional Programming
James Chapman, Paul Blain Levy
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as…