Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 - Jasmin - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-08-15 07:19:21 Computer programming Software engineering Computing Recursion Type theory Data types Theoretical computer science Functional programming Recursive data type Inductive data type Corecursion Mutual recursion		Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 536,88 KB Share Document on Facebook

	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia DocID: 1sZ2e - View Document
	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia DocID: 1sYXB - View Document
	page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch DocID: 1sSfm - View Document
	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy DocID: 1qHip - View Document
	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu DocID: 1qD8k - View Document