Corecursion - PDFSEARCH.IO - Document Search Engine

Corecursion
Results: 27

#	Item
21	Defining (Co)datatypes in Isabelle/HOL Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel Fakultät für Informatik, Technische Universität München 27 August 2014 Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Recursion Type theory Data types Self-reference Theoretical computer science Recursive data type Corecursion Standard ML Inductive data type Computer programming Software engineering Computing
22	Generic Storage in Haskell WGP 2010 Sebastiaan Visser and Andres L¨ oh Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Computer programming Map Tree Persistent data structure Binary trees Binary search tree Corecursion Computing Software engineering Data structures
23	Corecursion in Session-Typed Processes Bernardo Toninho∗† , Lu´ıs Caires∗ and Frank Pfenning† ∗ CITI and FCT - Universidade Nova de Lisboa † Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-21 08:17:30 Theoretical computer science Computability theory Recursion Type theory Deduction Function Interpretation Entailment Curry–Howard correspondence Logic Mathematics Mathematical logic
24	DRAFT of June 27, 2013 Wellfounded Recursion with Copatterns Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-06-27 12:30:39 Recursion Theoretical computer science Programming idioms Category theory Functional programming Haskell Coinduction Corecursion Pattern matching Software engineering Computer programming Computing
25	Reasoning about Codata Ralf Hinze Computing Laboratory, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2011-03-18 10:34:28 Recursion Programming idioms Functional languages Theoretical computer science Self-reference Haskell Pure Constructible universe Corecursion Computer programming Software engineering Computing
26	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming
27	Ensuring Streams Flow? Alastair Telford and David Turner The Computing Laboratory, The University, Add to Reading List Source URL: kar.kent.ac.uk Language: English - Date: 2011-06-28 11:40:51 Functional programming Recursion Theoretical computer science Computability theory Subroutines Corecursion Coinduction Function Stream Software engineering Declarative programming Computer programming