Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. - Cristiano D. Vasconcellos; Lucília Figueiredo; Carlos Camarão 001 (J. Univers. Comput. Sci., 2003)

Constraint-set satisfiability for overloading. - Carlos Camarão 001; Lucília Figueiredo; Cristiano D. Vasconcellos (PPDP, 2004)

Inferência de tipos com suporte para sobrecarga baseada no sistema CT. - Cristiano Damiani Vasconcellos (2004)

Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. - Carlos Camarão 001; Cristiano D. Vasconcellos; Lucília Figueiredo; João Nicola (J. Univers. Comput. Sci., 2007)

Enhancing automatic generation of VHDL descriptions from UML/MARTE models. - Marcela Leite; Cristiano D. Vasconcellos; Marco Aurélio Wehrmeister (INDIN, 2014)

Type Inference for GADTs and Anti-unification. - Adelaine Gelain; Cristiano D. Vasconcellos; Carlos Camarão 001; Rodrigo Geraldo Ribeiro (SBLP, 2015)

Optional Type Classes for Haskell. - Rodrigo Geraldo Ribeiro; Carlos Camarão 001; Lucília Figueiredo; Cristiano D. Vasconcellos (SBLP, 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)

A hybrid intermediate language between SSA and CPS. - Paulo Torrens; Cristiano D. Vasconcellos; Junia Gonçalves (SBLP, 2017)

Type inference for GADTs, outsidein and anti-unification. - Gabriela Moreira; Cristiano D. Vasconcellos; Rodrigo Geraldo Ribeiro (SBLP, 2018)

Haskell Type System Analysis. - Rafael Castro G. Silva; Karina Girardi Roggia; Cristiano Damiani Vasconcellos (RITA, 2018)

Inferring types and effects via static single assignment. - Leonardo Filipe Rigon; Paulo Torrens; Cristiano D. Vasconcellos (SAC, 2020)

Monadic W in Coq. - Rafael Castro G. Silva; Cristiano D. Vasconcellos; Karina Girardi Roggia (SBLP, 2020)

Fully-Tested code generation from TLA+ specifications. - Gabriela Moreira; Cristiano D. Vasconcellos; Janine Kniess (SAST, 2022)

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)