Carlos Camarão

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 3

Top Topics

Constrained Minimization

Regular Expressions

Deterministic Finite Automata

Linear Constraints

Top Venues

J. Braz. Comput. Soc.

Sci. Comput. Program.

Publications

Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão
Certified Derivative-Based Parsing of Regular Expressions. SBLP (2016)
Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
Ambiguity and constrained polymorphism. Sci. Comput. Program. 124 (2016)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Optional Type Classes for Haskell. SBLP (2016)
Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
Type Inference for GADTs and Anti-unification. SBLP (2015)
Rodrigo Geraldo Ribeiro, Carlos Camarão
A Mechanized Textbook Proof of a Type Unification Algorithm. SBMF (2015)
Rodrigo Geraldo Ribeiro, Carlos Camarão
Ambiguity and context-dependent overloading. J. Braz. Comput. Soc. 19 (3) (2013)
Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
Mechanized metatheory for a λ-calculus with trust types. J. Braz. Comput. Soc. 19 (4) (2013)
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading. J. Braz. Comput. Soc. 19 (4) (2013)
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. J. Univers. Comput. Sci. 13 (6) (2007)
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
Constraint-set satisfiability for overloading. PPDP (2004)
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. J. Univers. Comput. Sci. 9 (8) (2003)
Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues
Mimico: a Monad Combinator Parser Generator. J. Braz. Comput. Soc. 9 (1) (2003)
Lucília Figueiredo, Carlos Camarão
A View on Abstract and Extensibles Types. Rev. Colomb. de Computación 3 (1) (2002)
Pedro Ivo Oliveira, Carlos Camarão
Adapting Web Contents to WAP Devices using Haskell. SCCC (2001)
Carlos Camarão, Lucília Figueiredo
Type Inference for Overloading without Restrictions, Declarations or Annotations. Fuji International Symposium on Functional and Logic Programming (1999)
Carlos Camarão, Lucília Figueiredo
A Type System for Context-dependent Overloading. Electron. Notes Theor. Comput. Sci. 14 (1998)
Carlos Camarão, Lucília Figueiredo
Towards Higher-Order Types. Electron. Notes Theor. Comput. Sci. 14 (1998)