Merkliste 
 1 Ergebnisse 
 
1

Foundations of session types:

, In: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming,