Witnessing (Co)datatypes
From MaRDI portal
Publication:2802441
DOI10.1007/978-3-662-46669-8_15zbMath1335.68224OpenAlexW2183882274MaRDI QIDQ2802441
Andrei Popescu, Jasmin Christian Blanchette, Dmitriy Traytel
Publication date: 26 April 2016
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01212587/file/wit.pdf
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
A decision procedure for (co)datatypes in SMT solvers ⋮ A Formalized Hierarchy of Probabilistic System Types ⋮ Friends with Benefits ⋮ Unnamed Item
Uses Software
This page was built for publication: Witnessing (Co)datatypes
