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.
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.
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.
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.
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.
Tim Freeman & Frank Pfenning (1991):
Refinement types for ML.
In: PLDI'91.
ACM,
pp. 268–277,
doi:10.1145/113446.113468.
Jean-Yves Girard (1987):
Linear logic.
Theoretical Computer Science 50,
pp. 1–102,
doi:10.1016/0304-3975(87)90045-4.
Andrew Gordon & Cédric Fournet (2009):
Principles and applications of refinement types.
TR 147.
MSR,
doi:10.3233/978-1-60750-100-8-73.
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.
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.
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.
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.
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.
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.
Microsoft Research:
F7: Refinement Types for F#.
http://research.microsoft.com/en-us/projects/F7/.
Patrick M. Rondon, Ming Kawaguci & Ranjit Jhala (2008):
Liquid types.
In: PLDI'08.
ACM,
pp. 159–169,
doi:10.1145/1375581.1375602.
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.