Fangyi Zhou

According to our database1, Fangyi Zhou authored at least 3 papers between 2020 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Communication-safe web programming in TypeScript with routed multiparty session types.
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang., 2020

Generating Interactive WebSocket Applications in TypeScript.
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020


  Loading...