Cristiano D. Vasconcellos

According to our database, Cristiano D. Vasconcellos authored at least 15 papers between 2003 and 2024.

Collaborative distances:

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

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

2022

Fully-Tested code generation from TLA+ specifications.

Gabriela Moreira, Cristiano D. Vasconcellos, Janine Kniess

Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

2020

Monadic W in Coq.

Rafael Castro G. Silva, Cristiano D. Vasconcellos, Karina Girardi Roggia

Proceedings of the SBLP '20: 24th Brazilian Symposium on Programming Languages, 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

2018

Haskell Type System Analysis.

Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos

RITA, 2018

Type inference for GADTs, outsidein and anti-unification.

Gabriela Moreira, Cristiano D. Vasconcellos, Rodrigo Geraldo Ribeiro

Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

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

2016

ICARU-FB: An IEC 61499 Compliant Multiplatform Software Infrastructure.

Leandro Israel Pinto, Cristiano D. Vasconcellos, Roberto Silvio Ubertino Rosso, Gabriel Hermann Negri

IEEE Trans. Ind. Informatics, 2016

Optional Type Classes for Haskell.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos

Proceedings of the Programming Languages - 20th Brazilian Symposium, 2016

2015

Type Inference for GADTs and Anti-unification.

Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro

Proceedings of the Programming Languages, 2015

2014

Enhancing automatic generation of VHDL descriptions from UML/MARTE models.

Marcela Leite, Cristiano D. Vasconcellos, Marco Aurélio Wehrmeister

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

2007

Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.

Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola

J. Univers. Comput. Sci., 2007

2004

Inferência de tipos com suporte para sobrecarga baseada no sistema CT.

Cristiano Damiani Vasconcellos

PhD thesis, 2004

Constraint-set satisfiability for overloading.

Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.

Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão

J. Univers. Comput. Sci., 2003