Matthew Hennessy;Anna Ingólfsdóttir
-;-
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Foundations of session types
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming