Ezra Cooper, Sam Lindley, Philip Wadler & Jeremy Yallop (2007):
Links: Web Programming Without Tiers,
pp. 266–296 4709.
Springer Berlin Heidelberg,
doi:10.1007/978-3-540-74792-5_12.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015):
A Gentle Introduction to Multiparty Asynchronous Session Types.
In: 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming,
LNCS 9104.
Springer,
pp. 146–178,
doi:10.1007/978-3-319-18941-3_4.
Pierre-Malo Deniélou & Nobuko Yoshida (2013):
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
In: 40th International Colloquium on Automata, Languages and Programming,
LNCS 7966.
Springer,
Berlin, Heidelberg,
pp. 174–186,
doi:10.1007/978-3-642-39212-2_18.
Node.js Foundation:
Express - Node.js web application framework.
Available at https://expressjs.com/.
Simon Fowler (2019):
Model-View-Update-Communicate: Session Types meet the Elm Architecture.
arXiv:1910.11108 [cs].
Available at http://arxiv.org/abs/1910.11108.
ArXiv: 1910.11108.
Rosita Gerbo & Luca Padovani (2019):
Concurrent Typestate-Oriented Programming in Java.
Electronic Proceedings in Theoretical Computer Science 291,
pp. 24–34,
doi:10.4204/EPTCS.291.3.
ArXiv: 1904.01286.
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,
pp. 116–133 10202.
Springer Berlin Heidelberg,
doi:10.1007/978-3-662-54494-5_7.
Jonathan King, Nicholas Ng & Nobuko Yoshida (2019):
Multiparty Session Type-safe Web Development with Static Linearity.
Electronic Proceedings in Theoretical Computer Science 291,
pp. 35–46,
doi:10.4204/EPTCS.291.4.
Rumyana Neykova & Nobuko Yoshida (2017):
How to Verify Your Python Conversations.
Behavioural Types: from Theory to Tools,
pp. 77–98,
doi:10.13052/rp-9788793519817.
Rumyana Neykova & Nobuko Yoshida (2019):
Featherweight Scribble,
pp. 236–259 11665.
Springer International Publishing,
doi:10.1007/978-3-030-21485-2_14.
Facebook Open Source:
React – A JavaScript library for building user interfaces.
Available at https://reactjs.org/.
Justin Uberti & Peter Thatcher (2011):
WebRTC.
Available at https://webrtc.org/.
Hongwei Xi (2017):
Applied Type System: An Approach to Practical Programming with Theorem-Proving.
arXiv:1703.08683 [cs].
Available at http://arxiv.org/abs/1703.08683.
ArXiv: 1703.08683.
Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2013):
The Scribble Protocol Language.
In: 8th International Symposium on Trustworthy Global Computing,
LNCS 8358.
Springer,
pp. 22–41,
doi:10.1007/978-3-319-05119-2_3.