No. Title Author Year
1 Mixed Messages: Measuring Conformance and Non-Interference in TypeScript Williams, Jack et al. 2017
2 Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact) Williams, Jack et al. 2017
3 Mixing Metaphors: Actors as Channels and Channels as Actors Fowler, Simon et al. 2017
4 Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051) Gay, Simon et al. 2017
5 Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types Carbone, Marco et al. 2016
6 A Complement to Blame Wadler, Philip 2015
7 You and Your Research and the Elements of Style Wadler, Philip 2014
8 07051 Abstracts Collection -- Programming Paradigms for the Web: Web Programming and Web Services Hull, Richard et al. 2007
9 07051 Executive Summary -- Programming Paradigms for the Web: Web Programming and Web Services Hull, Richard et al. 2007
10 07051 Working Group Outcomes -- Programming Paradigms for the Web: Web Programming and Web Services Hull, Richard et al. 2007
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI