search result

Cover von Scalable Handling of Effects; 6
Search for this author
Year: 2021
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 6
Media group: DAGSTUHL REPORT
Cover von Mixing Metaphors

Mixing Metaphors

Actors as Channels and Channels as Actors
Year: 2017
Media group: LIPIcs
Cover von Behavioural Types; 8
Bridging Theory and Practice : pp. 52-75
Search for this author
Year: 2022
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 8
Media group: DAGSTUHL REPORT
Cover von Separating Sessions Smoothly

Separating Sessions Smoothly

Year: 2021
Media group: LIPIcs
Cover von Coherence Generalises Duality

Coherence Generalises Duality

A Logical Explanation of Multiparty Session Types
Year: 2016
Media group: LIPIcs
Cover von Behavioural Types for Heterogeneous Systems
Position Paper
Search for this author
Year: 2024
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
Cover von Continuation Passing Style for Effect Handlers

Continuation Passing Style for Effect Handlers

Year: 2017
Media group: LIPIcs
Cover von A List of Successes That Can Change the World
Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Festschrift; 9600
Media group: MONOGRAPHIE
OPEN V 11.1.0.0