Beating the Productivity Checker Using Embedded Languages

by Nils Anders Danielsson
Citations:6 - 3 self

Active Bibliography

2 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009
1 Subtyping, Declaratively An Exercise in Mixed Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch
3 Using structural recursion for corecursion – Yves Bertot, Ekaterina Komendantskaya - 2009
29 General recursion via coinductive types – Venanzio Capretta
14 Data-Oblivious Stream Productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
13 Productivity of Stream Definitions – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Ariya Isihara, Jan Willem Klop - 2008
1 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity – Andreas Abel, Brigitte Pientka - 2013
6 Total Parser Combinators – Nils Anders Danielsson - 2009
3 Operational semantics using the partiality monad – Nils Anders Danielsson - 2012
5 Trace-based coinductive operational semantics for While; Big-step and small-step, relational and functional styles – Keiko Nakata, Tarmo Uustalu - 2009
2 Coinductive Field of Exact Real Numbers and General Corecursion – Milad Niqui - 2006
4 Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction – Keiko Nakata, Tarmo Uustalu
The Under-Performing Unfold A new approach to optimising corecursive programs – Jennifer Hackett, Graham Hutton, Mauro Jaskelioff
On the Complexity of Equivalence of Specifications of Infinite Objects – Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi
Author manuscript, published in "18th EACSL Annual Conference on Computer Science Logic- CSL 09 (2009)" On the relation between sized-types based termination and – Frédéric Blanqui, Cody Roux (inria - 2009
Chapter 1 Coalgebras as Types determined by their Elimination Rules – Anton Setzer
1 Type-based productivity of stream definitions in the calculus of constructions – Jorge Luis Sacchini - 2013
Refinement Types as Higher Order Dependency Pairs – Cody Roux
15 Representations of stream processors using nested fixed points – Peter Hancock, Dirk Pattinson, Neil Ghani