Mixing Induction and Coinduction (2009)

by Nils Anders Danielsson , Thorsten Altenkirch
Citations:2 - 0 self

Active Bibliography

1 Subtyping, Declaratively An Exercise in Mixed Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch
6 Beating the Productivity Checker Using Embedded Languages – Nils Anders Danielsson
6 Total Parser Combinators – Nils Anders Danielsson - 2009
29 General recursion via coinductive types – Venanzio Capretta
177 Regular Expression Types for XML – Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce - 2003
3 Operational semantics using the partiality monad – Nils Anders Danielsson - 2012
36 Coinductive big-step operational semantics – Xavier Leroy - 2006
DOI: 10.1007/11693024_5 Coinductive big-step operational semantics – Xavier Leroy
3 Using structural recursion for corecursion – Yves Bertot, Ekaterina Komendantskaya - 2009
11 Programming With Types – Stephanie Claudene Weirich - 2002
Chapter 1 Coalgebras as Types determined by their Elimination Rules – Anton Setzer
16 Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants – Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn - 1996
1 Type-based productivity of stream definitions in the calculus of constructions – Jorge Luis Sacchini - 2013
1 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity – Andreas Abel, Brigitte Pientka - 2013
2 A symbolic labelled transition system for coinductive subtyping of Fµ – Alan Jeffrey - 2001
An Algorithmic Framework for Recursive Structural Types – David J. Pearce - 2011
Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types ⋆ – Hyeonseung Im, Keiko Nakata, Sungwoo Park
Dynamics for ML using Meta-Programming – Thomas Gazagnaire, Anil Madhavapeddy - 2010
8 Subtyping Recursive Types modulo Associative Commutative Products – Roberto Di Cosmo, Francois Pottier, Didier Remy - 2003