Master's Thesis and Related Publications

Publications

Generating Interactive WebSocket Applications in TypeScript

Miu, Anson & Ferreira, Francisco & Yoshida, Nobuko & Zhou, Fangyi. (2020). Generating Interactive WebSocket Applications in TypeScript. Electronic Proceedings in Theoretical Computer Science. 314. 12-22. 10.4204/EPTCS.314.2.

• arXiv

Type-Safe Web Programming Using Routed Multiparty Session Types in TypeScript

Master's Thesis

• Distinguished Project
• Video

Directories

• Interim report
• PLACES 2020 - workshop submission
• Final report
• Final presentation

Others

• Development notes
• Macros - for session type notation