Back to Results
First PageMeta Content
Recursion / Theoretical computer science / Computability theory / Ordinal numbers / Fold / Constructible universe / Corecursion / Standard ML / Lambda calculus / Mathematical logic / Software engineering / Computing


Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 237,68 KB

Share Result on Facebook

City

Bucharest / /

Country

Germany / /

Facility

Switzerland Institute of Mathematics Simion Stoilow / Coinductive library / Composition Pipeline / Isabelle’s Coinductive library / Institute of Information Security / /

IndustryTerm

machinery / stream processors / end products / /

Organization

Technische Universität München / Institute of Information Security / Romanian Academy / Switzerland Institute of Mathematics Simion Stoilow / /

Person

Agda / Matita / Jasmin Christian / Coq / Brian Huffman / /

ProgrammingLanguage

C / ML / Standard ML / Java / /

Technology

stream processors / Java / /

SocialTag