Robert Atkey (2009):
Parameterised Notions of Computation.
J. Funct. Program. 19(3-4),
pp. 335–376,
doi:10.1017/S095679680900728X.
The scribble authors (2008):
Scribble homepage.
https://www.scribble.com.
Vincent Balat, Pierre Chambart & Grégoire Henry (2012):
Client-server Web applications with Ocsigen.
In: WWW'12 dev track: Proceedings of the 21nd international conference on World Wide Web,
Lyon, France,
pp. 59.
Available at http://hal.archives-ouvertes.fr/hal-00691710.
David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng & Nobuko Yoshida (2019):
Distributed Programming Using Role Parametric Session Types in Go.
In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages.
ACM,
pp. 1–30,
doi:10.1145/3290342.
Roy Thomas Fielding (2000):
Architectural Styles and the Design of Network-based Software Architectures.
University of California, Irvine.
Google (2011):
Dart programming language.
https://www.dartlang.org/.
Adam Gundry (2015):
A Typechecker Plugin for Units of Measure: Domain-specific Constraint Solving in GHC Haskell.
In: Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell,
Haskell '15.
ACM,
New York, NY, USA,
pp. 11–22,
doi:10.1145/2804302.2804305.
Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones & Philip Wadler (1996):
Type Classes in Haskell.
ACM TOPLAS 18(2),
pp. 109–138,
doi:10.1145/227699.227700.
Hamish Mackenzie, Victor Nazarov, Luite Stegeman (2010):
GHCJS.
https://github.com/ghcjs/ghcjs.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2016):
Multiparty Asynchronous Session Types.
JACM 63,
pp. 1–67,
doi:10.1145/2827695.
Raymond Hu & Nobuko Yoshida (2016):
Hybrid Session Verification through Endpoint API Generation.
In: 19th International Conference on Fundamental Approaches to Software Engineering,
LNCS 9633.
Springer,
pp. 401–418,
doi:10.1007/978-3-662-49665-7_24.
Raymond Hu & Nobuko Yoshida (2017):
Explicit Connection Actions in Multiparty Session Types.
In: 20th International Conference on Fundamental Approaches to Software Engineering,
LNCS 10202.
Springer,
pp. 116–133,
doi:10.1007/978-3-662-54494-5_7.
Keigo Imai, Nobuko Yoshida & Shoji Yuen (2017):
Session-ocaml: a session-based library with polarities and lenses.
In: 19th International Conference on Coordination Models and Languages,
LNCS 10319.
Springer,
pp. 99–118,
doi:10.1007/978-3-319-59746-1_6.
Jonathan King (2019):
Scribble Battleships.
https://github.com/jonathanlking/scribble-battleships.
Mark P. Jones (2000):
Type Classes with Functional Dependencies.
In: ESOP.
Springer,
pp. 230–244,
doi:10.1007/3-540-46425-5_15.
Justin Uberti and Peter Thatcher (2011):
WebRTC.
https://webrtc.org.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera & Simon J. Gay (2016):
Typechecking Protocols with Mungo and StMungo.
In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming,
PPDP '16.
ACM,
New York, NY, USA,
pp. 146–159,
doi:10.1145/2967973.2968595.
Sam Lindley & J. Garrett Morris (2015):
A Semantics for Propositions as Sessions.
In: Jan Vitek: Programming Languages and Systems.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 560–584,
doi:10.1007/978-3-662-46669-8_23.
Sam Lindley & J. Garrett Morris (2017):
Lightweight functional session types.
Behavioural Types: from Theory to Tools,
pp. 265–286,
doi:10.13052/rp-9788793519817.
Links contributors (2006):
The Links Programming Language.
http://links-lang.org.
Hernán Melgratti & Luca Padovani (2017):
An OCaml Implementation of Binary Sessions.
Behavioural Types: from Theory to Tools,
pp. 265–286,
doi:10.13052/rp-9788793519817.
Microsoft Corporation (2014):
TypeScript Language Specification.
http://typescriptlang.org/.
Rumyana Neykova, Raymond Hu, Nobuko Yoshida & Fahd Abdeljallal (2018):
A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#.
In: 27th International Conference on Compiler Construction.
ACM,
pp. 128–138,
doi:10.1145/3178372.3179495.
Nicholas Ng, Jose G.F. Coutinho & Nobuko Yoshida (2015):
Protocols by Default: Safe MPI Code Generation based on Session Types.
In: 24th International Conference on Compiler Construction,
LNCS 9031.
Springer,
pp. 212–232,
doi:10.1007/978-3-662-46663-6_11.
Dominic Orchard & Nobuko Yoshida (2017):
Session Types with Linearity in Haskell.
Behavioural Types: from Theory to Tools,
pp. 219–242,
doi:10.13052/rp-9788793519817.
Luca Padovani (2017):
A Simple Library Implementation of Binary Sessions.
Journal of Functional Programming 27,
doi:10.1017/S0956796816000289.
PureScript contributors (2017):
PureScript Language Specification.
http://www.purescript.org/.
Alceste Scalas, Ornela Dardha, Raymond Hu & Nobuko Yoshida (2017):
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
In: 31st European Conference on Object-Oriented Programming,
LIPIcs 74.
Schloss Dagstuhl,
pp. 24:1–24:31,
doi:10.4230/LIPIcs.ECOOP.2017.24.
Jérôme Vouillon & Vincent Balat (2013):
From Bytecode to JavaScript: the Js_of_ocaml Compiler.
Software: Practice and Experience,
doi:10.1002/spe.2187.
Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2013):
The Scribble Protocol Language.
In: Martín Abadi & Alberto Lluch-Lafuente: Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers,
LNCS 8358.
Springer,
pp. 22–41,
doi:10.1007/978-3-319-05119-2_3.
eptcs@eptcs.org