Paulo Henrique Torrens

According to our database, Paulo Henrique Torrens authored at least 7 papers between 2017 and 2025.

Collaborative distances:

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

2025

Interpretando Efeitos Algébricos por Meio de Mônadas.

Karla A. de S. Joriatti, Paulo Henrique Torrens, Rodrigo Geraldo Ribeiro, Cristiano Damiani Vasconcellos

Proceedings of the 29th Brazilian Symposium on Programming Languages, 2025

2024

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

Paulo Henrique Torrens, Dominic Orchard, Cristiano D. Vasconcellos

Proc. ACM Program. Lang., 2024

Soundness-Preserving Fusion of Modal Logics in Coq.

Miguel Alfredo Nunes, Karina Girardi Roggia, Paulo Henrique Torrens

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2023

Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.

Dominic Orchard, Mihail Munteanu, Paulo Henrique 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 Henrique 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 Henrique 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 Henrique Torrens, Cristiano D. Vasconcellos, Junia Gonçalves

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