DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Corecursion
Corecursion
NICOLAS WU Department of Computer Science, University of Bristol (E-Mail:
[email protected]
,
[email protected]
)
Practical Coinduction
The Method of Coalgebra: Exercises in Coinduction
Friends with Benefits: Implementing Corecursion in Foundational
Some New Approaches in Functional Programming Using Algebras and Coalgebras
Corecursive Algebras: a Study of General Structured Corecursion (Extended Abstract)
Corecursion in Session-Typed Processes
Corecursion and Non-Divergence in Session Types
Recursive Coalgebras from Comonads
Cognitive Architecture and Second-Order
Tree (Data Structure)
Corecursion and Coinduction: How They Relate to Recursion and Induction
Sorting with Bialgebras and Distributive Laws
Csci 555: Functional Programming Introduction to Functional Programming Using Haskell
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms
Unifying Structured Recursion Schemes
A Computational Understanding of Classical (Co)Recursion
1 an Introduction to (Co)Algebra and (Co)Induction
Top View
Representing Cyclic Structures As Nested Datatypes
Productive Coprogramming with Guarded Recursion
Functional Programming with Apomorphisms (Corecursion)
On Well-Founded and Recursive Coalgebras
Sound Regular Corecursion in Cofj
Classical (Co)Recursion: Mechanics 3
Contract-Based Resource Verification for Higher-Order Functions with Memoization
Classical (Co) Recursion: Programming
Efficient Lambda Encodings for Mendler-Style Coinductive Types In
Total Haskell Is Reasonable Coq
Mechanizing Coinduction and Corecursion in Higher-Order Logic
Special Issue on Programming Theory, Information System Engineering, Software Engineering, and Artificial Intelligence
Implementing Corecursion in Foundational Proof Assistants
A New Foundation for Finitary Corecursion and Iterative Algebras
Cocaml: Functional Programming with Regular Coinductive Types
Implementing Corecursion in Foundational Proof Assistants Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, Dmitriy Traytel
Productive Corecursion in Logic Programming∗
Adjoint Folds and Unfolds Or: Scything Through the Thicket of Morphisms
Structured General Corecursion and Coinductive Graphs [Extended Abstract]
The Under-Performing Unfold a New Approach to Optimising Corecursive Programs
Foundational Extensible Corecursion
Proof Methods for Corecursive Programs 1. Introduction