Back to Results
First PageMeta Content
Recursion / Type theory / Data types / Self-reference / Theoretical computer science / Recursive data type / Corecursion / Standard ML / Inductive data type / Computer programming / Software engineering / Computing


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

Document Date: 2014-08-27 06:04:04

Open Document

File Size: 581,10 KB

Share Result on Facebook

/

Organization

Technische Universität München / /

Person

Andrei Popescu / Lorenz Panny / Dmitriy Traytel Fakultät für Informatik / Martin Desharnais / /

SocialTag