Paulo Torrens

According to our database, Paulo Torrens authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs.

Paulo Torrens, Dominic Orchard, Cristiano D. Vasconcellos

Proc. ACM Program. Lang., 2024

2023

Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.

Dominic Orchard, Mihail Munteanu, Paulo Torrens

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

2022

A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq.

Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia

Proceedings of the SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6, 2022

2020

Inferring types and effects via static single assignment.

Leonardo Filipe Rigon, Paulo Torrens, Cristiano D. Vasconcellos

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2017

A hybrid intermediate language between SSA and CPS.

Paulo Torrens, Cristiano D. Vasconcellos, Junia Gonçalves

Proceedings of the 21st Brazilian Symposium on Programming Languages, 2017