Corecursion - PDFSEARCH.IO - Document Search Engine

Corecursion
Results: 27

#	Item
1	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia Add to Reading List Source URL: www.ioc.ee - Date: 2014-09-30 10:08:33
2	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia Add to Reading List Source URL: cs.ioc.ee - Date: 2014-05-20 06:57:42
3	page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch Add to Reading List Source URL: www.ioc.ee - Date: 2014-09-30 10:08:41
4	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
5	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
6	Noname manuscript No. (will be inserted by the editor) A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds · Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-03-02 06:43:58 Mathematical logic Logic Theoretical computer science Type theory Automated theorem proving Logic programming Data types Unification Recursive data type Substitution Corecursion First-order logic
7	Computing Fundamentals Salvatore Filippone 2012–2013 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:12:56 Software engineering Computer programming Recursion Tail call Subroutine Stack Infinite loop This Mutual recursion Corecursion
8	Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages 1 2 Add to Reading List Source URL: kashmir.dcc.fc.up.pt Language: English - Date: 2015-07-24 05:23:42 Functional languages Theoretical computer science Functional programming Recursion Type theory Corecursion Lambda calculus Standard ML Lazy evaluation Stream Monad Haskell
9	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Recursion Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:21:39 Software engineering Computer programming Recursion Subroutines Theoretical computer science Computability theory Fibonacci number Linked list Corecursion Anonymous function
10	Corecursive Algebras: A Study of General Structured Corecursion Venanzio Capretta1 , Tarmo Uustalu2 , and Varmo Vene3 1 School of Computer Science, University of Nottingham, United Kingdom Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2009-11-06 16:56:55