A Aralex Aachen research explorer

August 29, 2016 conference-paper Open access

Talking bananas: structural recursion for session types

ACM SIGPLAN International Conference on Functional Programming (ICFP)

DOI: 10.1145/2951913.2951921 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 67

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

4

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

9

citations

2 results

References 0