Personensuche
X
?
2021 IEEE 34th Computer Security Foundations Symposium (CSF) ,
7
Resource-Aware Session Types for Digital Contracts:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Session logical relations for noninterference:
, In:
?
Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control ,
11
Objects as session-typed processes:
, In:
?
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity ,
12
Session details: Post Conference Workshop Summaries:
, In:
?
Proceedings of the companion publication of the 2014 ACM SIGPLAN conference on Systems, Programming, and Applications: Software for Humanity ,
13
Session details: Co-located workshop summaries:
, In:
?
Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance ,
14
Wyvern : a simple, typed, and pure object-oriented langu..:
, In:
?
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity ,
15