Francisco Ferreira

According to our database1, Francisco Ferreira authored at least 11 papers between 2013 and 2021.

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

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

EMTST: Engineering the Meta-theory of Session Types.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Cocon: Computation in Contextual Type Theory.
CoRR, 2019

A Type Theory for Defining Logics and Proofs.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018
Proofs and Programs about Open Terms.
CoRR, 2018

2017
Programs Using Syntax with First-Class Binders.
Proceedings of the Programming Languages and Systems, 2017

2014
Bidirectional Elaboration of Dependently Typed Programs.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Fair reactive programming.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Compiling contextual objects: bringing higher-order abstract syntax to programmers.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013


  Loading...