A type theory for productive coprogramming via guarded recursion

Rasmus Ejlers Møgelberg

Programming Logic and Semantics

Publikation:

Konference artikel i Proceeding eller bog/rapport kapitel

Konferencebidrag i proceedings

Peer-review

Open Access

Publikation information

Produktionstype

Publikation:

Konference artikel i Proceeding eller bog/rapport kapitel

Konferencebidrag i proceedings

Peer-review

Undertitel på værtspublikation

CSL-LICS '14

Originalsprog

Dansk

Artikelnummer

Publikationsmilepæle

Udgivet - 2014

Publikationsstatus

Udgivet - 2014

Forlag

Association for Computing Machinery, USA

Bogserie

Bogserienavn: Annual Symposium on Logic in Computer Science
ISSN: 1043-6871

ISBN (Trykt)

978-1-4503-2886-9

Publication IDs

Scopus: 84905976203

Titel på værtspublikation

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Metrikker

PlumX, åbner i en ny fane

Hentninger

Citationer

Adgang til dokumenter

10.1145/2603088.2603132

Relateret event

Titel

Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Begivenhedstype

Konference

Dato

14/07/2014 - 18/07/2014

Lokation

ViennaØstrig