Truly Modular (Co)datatypes for Isabelle/HOL

Jasmin Christian Blanchette; Johannes Hölzl; Andreas Lochbihler; Lorenz Panny; Andrei Popescu; Dmitriy Traytel

doi:10.1007/978-3-319-08970-6_7

Truly Modular (Co)datatypes for Isabelle/HOL

Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel

Coding Theory and Cryptology

Onderzoeksoutput: Bijdrage aan congres › Paper › Academic

69 Citaten (Scopus)

Originele taal-2	Engels
Pagina's	93-110
DOI's	https://doi.org/10.1007/978-3-319-08970-6_7
Status	Gepubliceerd - 2014

Bibliografische nota

DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Toegang tot document

10.1007/978-3-319-08970-6_7

https://dblp.org/rec/conf/itp/BlanchetteHLP0T14

Citeer dit

@conference{64c8e667ef1b4f8384e2c94e0733f51b,

title = "Truly Modular (Co)datatypes for Isabelle/HOL",

author = "Blanchette, {Jasmin Christian} and Johannes H{\"o}lzl and Andreas Lochbihler and Lorenz Panny and Andrei Popescu and Dmitriy Traytel",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2014",

doi = "10.1007/978-3-319-08970-6_7",

language = "English",

pages = "93--110",

}

TY - CONF

T1 - Truly Modular (Co)datatypes for Isabelle/HOL

AU - Blanchette, Jasmin Christian

AU - Hölzl, Johannes

AU - Lochbihler, Andreas

AU - Panny, Lorenz

AU - Popescu, Andrei

AU - Traytel, Dmitriy

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-319-08970-6_7

DO - 10.1007/978-3-319-08970-6_7

M3 - Paper

SP - 93

EP - 110

ER -