8 citations · 9 across the 2 of their papers we have counts for
2 papers
cs.PL2020★ 1 cited
Statically Verified Refinements for Multiparty Protocols
Fangyi Zhou, Francisco Ferreira, Raymond Hu +2
With distributed computing becoming ubiquitous in the modern era, safe distributed programming is an open challenge. To address this, multiparty session types (MPST) provide a typi…
cs.PL2020★ 8 cited
Generating Interactive WebSocket Applications in TypeScript
Anson Miu, Francisco Ferreira, Nobuko Yoshida +1
Advancements in mobile device computing power have made interactive web applications possible, allowing the web browser to render contents dynamically and support low-latency commu…