According to our database1, Francisco Ferreira authored at least 11 papers between 2013 and 2021.
Legend:Book In proceedings Article PhD thesis Other
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
Proc. ACM Program. Lang., 2020
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the Programming Languages and Systems, 2017
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013