References

1. João Belo, Michael Greenberg, Atsushi Igarashi & Benjamin Pierce (2011): Polymorphic Contracts. In: Programming Languages and Systems, LNCS 6602. Springer, pp. 18–37, doi:10.1007/978-3-642-19718-5_2.
2. Karthikeyan Bhargavan, Cédric Fournet & Andrew D. Gordon (2010): Modular verification of security protocol code by typing. In: POPL'10. ACM, pp. 445–456, doi:10.1145/1706299.1706350. Available at 10.1145/1706299.1706350.
3. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A theory of design-by-contract for distributed multiparty interactions. In: Proceedings of the 21st international conference on Concurrency theory, CONCUR'10. Springer, pp. 162–176, doi:10.1007/978-3-642-15375-4_12.
4. Eduardo Bonelli, Adriana Compagnoni & Elsa Gunter (2005): Correspondence Assertions for Process Synchronization in Concurrent Communications. Journal of Functional Programming 15, pp. 219–247, doi:10.1017/S095679680400543X.
5. Cormac Flanagan (2006): Hybrid type checking. In: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'06. ACM, pp. 245–256, doi:10.1145/1111037.1111059.
6. Tim Freeman & Frank Pfenning (1991): Refinement types for ML. In: PLDI'91. ACM, pp. 268–277, doi:10.1145/113446.113468.
7. Jean-Yves Girard (1987): Linear logic. Theoretical Computer Science 50, pp. 1–102, doi:10.1016/0304-3975(87)90045-4.
8. Andrew Gordon & Cédric Fournet (2009): Principles and applications of refinement types. TR 147. MSR, doi:10.3233/978-1-60750-100-8-73.
9. Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998): Language primitives and type discipline for structured communication-based programming. In: ESOP'98, LNCS. Springer, pp. 122–138, doi:10.1007/BFb0053567.
10. Kohei Honda, Nobuko Yoshida & Marco Carbone (2008): Multiparty asynchronous session types. In: POPL'08. ACM, pp. 273–284, doi:10.1145/1328438.1328472. Available at 10.1145/1328438.1328472.
11. Yitzhak Mandelbaum, David Walker & Robert Harper (2003): An Effective Theory of Type Refinements. In: ICFP'03. ACM, pp. 213–226, doi:10.1145/944705.944725.
12. Dimitris Mostrous & Nobuko Yoshida (2007): Two session typing systems for higher-order mobile processes. In: TLCA'07, LNCS 4583. Springer, pp. 321–335, doi:10.1007/978-3-540-73228-0_23.
13. Dimitris Mostrous & Nobuko Yoshida (2009): Session-Based Communication Optimisation for Higher-Order Mobile Processes. In: TLCA'09, LNCS 5608. Springer, pp. 203–218, doi:10.1007/978-3-642-02273-9_16.
14. Leonardo de Moura & Nikolaj Bj\/orner (2008): Z3: An Efficient SMT Solver. In: TACAS, LNCS 4963. Springer, pp. 337–340, doi:10.1007/978-3-540-78800-3_24.
15. Microsoft Research: F7: Refinement Types for F#. http://research.microsoft.com/en-us/projects/F7/.
16. Patrick M. Rondon, Ming Kawaguci & Ranjit Jhala (2008): Liquid types. In: PLDI'08. ACM, pp. 159–169, doi:10.1145/1375581.1375602.
17. Bernardo Toninho, Luís Caires & Frank Pfenning (2011): Dependent session types via intuitionistic linear type theory. In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming, PPDP'11. ACM, pp. 161–172, doi:10.1145/2003476.2003499.
18. Vasco T. Vasconcelos (2012): Fundamentals of Session Types. Information and Computation 217, pp. 52–70, doi:10.1007/978-3-642-01918-0_4. Available at http://www.di.fc.ul.pt/~vv/papers/vasconcelos_fundamental-sessions.pdf. Earlier version in SFM'09, volume 5569 of LNCS, pages 158-186. Springer, 2009, doi:10.1007/978-3-642-01918-0_4.
19. Philip Wadler & Robert Bruce Findler (2009): Well-typed programs can't be blamed. In: ESOP'09. Springer, pp. 1–16, doi:10.1007/978-3-642-00590-9_1.
20. Nobuko Yoshida (2004): Channel dependent types for higher-order mobile processes. In: POPL'04. ACM, pp. 147–160, doi:10.1145/964001.964014.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org