Data structures and program transformation
Science of Computer Programming
Theoretical Computer Science
The dual of substitution is redecoration
Trends in functional programming
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture
Elementary Strong Functional Programming
FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
Structural Recursive Definitions in Type Theory
ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Codifying Guarded Definitions with Recursive Schemes
TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
A Typed Lambda Calculus with Categorical Type Constructors
Category Theory and Computer Science
Recursion schemes from comonads
Nordic Journal of Computing
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Infinite trees and completely iterative theories: a coalgebraic view
Theoretical Computer Science
A Universal Characterization of the Closed Euclidean Interval
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Free iterative theories: a coalgebraic view
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Journal of Functional Programming
Modelling general recursion in type theory
Mathematical Structures in Computer Science
From Iterative Algebras to Iterative Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating Two Approaches to Coinductive Solution of Recursive Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
Completely iterative algebras and completely iterative monads
Information and Computation
Epigram: practical programming with dependent types
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A Type of Partial Recursive Functions
TPHOLs '08 Proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
From coinductive proofs to exact real arithmetic
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
The Recursion Scheme from the Cofree Recursive Comonad
Electronic Notes in Theoretical Computer Science (ENTCS)
From corecursive algebras to corecursive monads
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages
Some New Approaches in Functional Programming Using Algebras and Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Recursion schemes for dynamic programming
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
CIA structures and the semantics of recursion
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Program fusion with paramorphisms
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
Well-Pointed coalgebras (extended abstract)
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Sorting with bialgebras and distributive laws
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Generic programming with adjunctions
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Unifying structured recursion schemes
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Histo- and dynamorphisms revisited
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming
Adjoint folds and unfolds-An extended study
Science of Computer Programming
Science of Computer Programming
Hi-index | 0.00 |
The concept of recursive coalgebra of a functor was introduced in the 1970s by Osius in his work on categorical set theory to discuss the relationship between wellfounded induction and recursively specified functions. In this paper, we motivate the use of recursive coalgebras as a paradigm of structured recursion in programming semantics, list some basic facts about recursive coalgebras and, centrally, give new conditions for the recursiveness of a coalgebra based on comonads, comonad-coalgebras and distributive laws of functors over comonads. We also present an alternative construction using countable products instead of cofree comonads.