Search for persons
X
?
Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice ,
1
YACC: Yet Another Church Calculus: A Birthday Present for H..:
, In:
?
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming ,
2
Multicompatibility for Multiparty-Session Composition:
, In:
?
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs ,
5
Gradual Guarantee for FJ with lambda-Expressions:
, In:
?
Formal Aspects of Component Software; Lecture Notes in Computer Science ,
6
Open Compliance in Multiparty Sessions:
, In:
?
Lecture Notes in Computer Science; Coordination Models and Languages ,
8
Deconfined Global Types for Asynchronous Sessions:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
10
Soundness Conditions for Big-Step Semantics:
, In:
?
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ,
11
A tale of intersection types:
, In:
?
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming ,
13
Foundations of Session Types : 10 Years Later:
, In:
?
Lecture Notes in Computer Science; Models, Mindsets, Meta: The What, the How, and the Why Not? ,
14
Intersection Types in Java: Back to the Future:
, In:
?
Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science ,
15