8 citations · 14 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
Zooid: a DSL for Certified Multiparty Computation
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri +1
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous m…
cs.PL2021
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Anson Miu, Francisco Ferreira, Nobuko Yoshida +1
Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web-based distributed systems are informally describe…