References

  1. Coşku Acay (2016): Refinements for Session Typed Concurrency. Undergraduate honors thesis. Carnegie Mellon University. Available at http://www.coskuacay.com/papers/senior-thesis.pdf.
  2. Roberto M. Amadio & Luca Cardelli (1991): Subtyping Recursive Types. In: POPL. ACM Press, pp. 104–118, doi:10.1145/99583.99600.
  3. Franco Barbanera, Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (1995): Intersection and Union Types: Syntax and Semantics. Inf. Comput. 119(2), pp. 202–230, doi:10.1006/inco.1995.1086.
  4. Luís Caires, Jorge A. Pérez, Frank Pfenning & Bernardo Toninho (2013): Behavioral Polymorphism and Parametricity in Session-Based Communication. In: ESOP, Lecture Notes in Computer Science 7792. Springer, pp. 330–349, doi:10.1007/978-3-642-37036-6_19.
  5. Luís Caires & Frank Pfenning (2010): Session Types as Intuitionistic Linear Propositions. In: CONCUR, Lecture Notes in Computer Science 6269. Springer, pp. 222–236, doi:10.1007/978-3-642-15375-4_16.
  6. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009): Foundations of session types. In: PPDP. ACM, pp. 219–230, doi:10.1145/1599410.1599437.
  7. Iliano Cervesato & Andre Scedrov (2009): Relating state-based and process-based concurrency through linear logic (full-version). Inf. Comput. 207(10), pp. 1044–1077, doi:10.1016/j.ic.2008.11.006.
  8. Rocco De Nicola & Matthew Hennessy (1987): CCS without tau's. In: TAPSOFT, Vol.1, Lecture Notes in Computer Science 249. Springer, pp. 138–152, doi:10.1007/3-540-17660-8_53.
  9. Henry DeYoung, Luís Caires, Frank Pfenning & Bernardo Toninho (2012): Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication. In: CSL, LIPIcs 16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 228–242, doi:10.4230/LIPIcs.CSL.2012.228.
  10. Joshua Dunfield & Frank Pfenning (2003): Type Assignment for Intersections and Unions in Call-by-Value Languages. In: FoSSaCS, Lecture Notes in Computer Science 2620. Springer, pp. 250–266, doi:10.1007/3-540-36576-1_16.
  11. Joshua Dunfield & Frank Pfenning (2004): Tridirectional typechecking. In: POPL. ACM, pp. 281–292, doi:10.1145/964001.964025.
  12. Timothy S. Freeman & Frank Pfenning (1991): Refinement Types for ML. In: PLDI. ACM, pp. 268–277, doi:10.1145/113445.113468.
  13. Simon J. Gay & Malcolm Hole (2005): Subtyping for session types in the pi calculus. Acta Inf. 42(2-3), pp. 191–225, doi:10.1007/s00236-005-0177-z.
  14. Gerhard Gentzen (1935): Untersuchungen über das Logische Schließen. Mathematische Zeitschrift 39, pp. 176–210, 405–431, doi:10.1007/BF01201353. English translation in M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68–131, North-Holland, 1969.
  15. Jean-Yves Girard (1987): Linear Logic. Theor. Comput. Sci. 50, pp. 1–102, doi:10.1016/0304-3975(87)90045-4.
  16. Dennis Griffith (2016): Polarized Substructural Session Types. University of Illinois at Urbana-Champaign. In preparation.
  17. Kohei Honda (1993): Types for Dyadic Interaction. In: CONCUR, Lecture Notes in Computer Science 715. Springer, pp. 509–523, doi:10.1007/3-540-57208-2_35.
  18. Luca Padovani (2010): Session Types = Intersection Types + Union Types. In: ITRS, EPTCS 45, pp. 71–89, doi:10.4204/EPTCS.45.6.
  19. Frank Pfenning & Dennis Griffith (2015): Polarized Substructural Session Types. In: FoSSaCS, Lecture Notes in Computer Science 9034. Springer, pp. 3–22, doi:10.1007/978-3-662-46678-0_1.
  20. Robert J. Simmons (2012): Substructural Logical Specifications. Carnegie Mellon University.
  21. Christopher A. Stone & Andrew P. Schoonmaker (2005): Equational Theories with Recursive Types. Unpublished Manuscript.
  22. Bernardo Toninho, Luís Caires & Frank Pfenning (2013): Higher-Order Processes, Functions, and Sessions: A Monadic Integration. In: ESOP, Lecture Notes in Computer Science 7792. Springer, pp. 350–369, doi:10.1007/978-3-642-37036-6_20.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org