References

1. Dan Abramov (2015): Redux - A predictable state container for JavaScript apps.. Available at https://redux.js.org/.
2. Gavin Bierman, Martín Abadi & Mads Torgersen (2014): Understanding TypeScript. In: RichardEditor Jones: ECOOP 2014 – Object-Oriented Programming, Lecture Notes in Computer Science. Springer, pp. 257–281, doi:10.1007/978-3-662-44202-9_11.
3. MDN contributors (2020): Promise. Available at https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Promise. Library Catalog: developer.mozilla.org.
4. 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.
5. 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.
6. 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.
7. I. Fette & A. Melnikov (2011): The WebSocket Protocol. RFC 6455. RFC Editor. Available at https://www.rfc-editor.org/rfc/rfc1654.txt.
8. Node.js Foundation: Express - Node.js web application framework. Available at https://expressjs.com/.
9. 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.
10. 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.
11. 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.
12. 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.
13. 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.
14. Anson Miu (2020): ansonmiu0214/scribble-noughts-and-crosses. Available at https://github.com/ansonmiu0214/scribble-noughts-and-crosses.
15. 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.
16. Rumyana Neykova & Nobuko Yoshida (2019): Featherweight Scribble, pp. 236–259 11665. Springer International Publishing, doi:10.1007/978-3-030-21485-2_14.
17. Node.js: Node.js. Available at https://nodejs.org/en/.
18. Microsoft Research: TypeScript Language Specification. Available at https://github.com/microsoft/TypeScript.
19. Facebook Open Source: Introducing JSX – React. Available at https://reactjs.org/docs/introducing-jsx.html.
20. Facebook Open Source: React – A JavaScript library for building user interfaces. Available at https://reactjs.org/.
21. Justin Uberti & Peter Thatcher (2011): WebRTC. Available at https://webrtc.org/.
22. 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.
23. 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.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org