Carlos Camarão

According to our database, Carlos Camarão authored at least 19 papers between 1995 and 2022.

Collaborative distances:

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

2022

Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018).

Carlos Camarão, Martin Sulzmann

Sci. Comput. Program., 2022

2016

Ambiguity and constrained polymorphism.

Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro

Sci. Comput. Program., 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

Certified Derivative-Based Parsing of Regular Expressions.

Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão

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

2015

A Mechanized Textbook Proof of a Type Unification Algorithm.

Rodrigo Geraldo Ribeiro, Carlos Camarão

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 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

2013

Mechanized metatheory for a λ-calculus with trust types.

Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão

J. Braz. Comput. Soc., 2013

Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.

Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo

J. Braz. Comput. Soc., 2013

Ambiguity and context-dependent overloading.

Rodrigo Geraldo Ribeiro, Carlos Camarão

J. Braz. Comput. Soc., 2013

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

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

Mimico: a Monad Combinator Parser Generator.

Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues

J. Braz. Comput. Soc., 2003

2002

A View on Abstract and Extensibles Types.

Lucília Figueiredo, Carlos Camarão

Rev. Colomb. de Computación, 2002

2001

Adapting Web Contents to WAP Devices using Haskell.

Pedro Ivo Oliveira, Carlos Camarão

Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

1999

Type Inference for Overloading without Restrictions, Declarations or Annotations.

Carlos Camarão, Lucília Figueiredo

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1997

A Type System for Context-dependent Overloading.

Carlos Camarão, Lucília Figueiredo

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

Towards Higher-Order Types.

Carlos Camarão, Lucília Figueiredo

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1995

A proof system for a sequential object-based language.

Carlos Camarao de Figueiredo

PhD thesis, 1995