Corecursion and Non-divergence in Session-Typed Processes
- 23 December 2014
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- Wellfounded recursion with copatternsPublished by Association for Computing Machinery (ACM) ,2013
- Higher-Order Processes, Functions, and Sessions: A Monadic IntegrationLecture Notes in Computer Science, 2013
- Behavioral Polymorphism and Parametricity in Session-Based CommunicationLecture Notes in Computer Science, 2013
- Propositions as sessionsACM SIGPLAN Notices, 2012
- Dependent session types via intuitionistic linear type theoryPublished by Association for Computing Machinery (ACM) ,2011
- Proof-Carrying Code in a Session-Typed Process CalculusLecture Notes in Computer Science, 2011
- Session Types as Intuitionistic Linear PropositionsLecture Notes in Computer Science, 2010
- Multiparty asynchronous session typesACM SIGPLAN Notices, 2008
- Language primitives and type discipline for structured communication-based programmingPublished by Springer Science and Business Media LLC ,1998
- Types for dyadic interactionLecture Notes in Computer Science, 1993