A type theory for productive coprogramming via guarded recursion
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Original language | Danish |
---|---|
Title of host publication | 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) : CSL-LICS '14 |
Number of pages | 10 |
Publisher | Association for Computing Machinery |
Publication date | 2014 |
Article number | 71 |
ISBN (Print) | 978-1-4503-2886-9 |
DOIs | |
Publication status | Published - 2014 |
Event | 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) - Vienna, Austria Duration: 14 Jul 2014 → 18 Jul 2014 |
Conference
Conference | 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) |
---|---|
Land | Austria |
By | Vienna |
Periode | 14/07/2014 → 18/07/2014 |
Series | Annual Symposium on Logic in Computer Science |
---|---|
ISSN | 1043-6871 |
ID: 80113874