A type theory for productive coprogramming via guarded recursion
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewHost publication Subtitle
CSL-LICS '14Original language
DanishArticle number
71Publication milestones
- Published - 2014
Publication status
Published - 2014
Publisher
Association for Computing Machinery, United StatesBook series
- Book series name: Annual Symposium on Logic in Computer Science
ISSN: 1043-6871
ISBN (Print)
978-1-4503-2886-9Publication IDs
- Scopus: 84905976203
Host publication title
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)Publication metrics
PlumX, opens in new tab
Captures
10
Citations
34
Access to documents
Related Event
Title
Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Event type
ConferenceDate
14/07/2014 - 18/07/2014Location
ViennaAustria