Witnessing (Co)datatypes

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelProgramming Languages and Systems : 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
RedaktørerJan Vitek
Antal sider24
ForlagSpringer
Publikationsdato2015
Sider359-382
DOI
StatusUdgivet - 2015
Eksternt udgivetJa
NavnLecture Notes in Computer Science
Vol/bind9032
ISSN0302-9743

ID: 245668943