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