Carlos Camarão

19 papers C 1Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018).
Sci. Comput. Program.
Carlos Camarão, Martin Sulzmann
2018 — ed.
Proceedings of the XXII Brazilian Symposium on Programming Languages, SBLP 2018, Sao Carlos, Brazil, September 20-21, 2018
SBLP
Carlos Camarão, Martin Sulzmann
2016 J jnl
Ambiguity and constrained polymorphism.
Sci. Comput. Program.
Carlos Camarão, Lucília Figueiredo, Rodrigo Geraldo Ribeiro
2016 — conf
Certified Derivative-Based Parsing of Regular Expressions.
SBLP
Raul Lopes, Rodrigo Geraldo Ribeiro, Carlos Camarão
2016 — conf
Optional Type Classes for Haskell.
SBLP
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2015 — conf
A Mechanized Textbook Proof of a Type Unification Algorithm.
SBMF
Rodrigo Geraldo Ribeiro, Carlos Camarão
2015 — conf
Type Inference for GADTs and Anti-unification.
SBLP
Adelaine Gelain, Cristiano D. Vasconcellos, Carlos Camarão, Rodrigo Geraldo Ribeiro
2013 J jnl
Ambiguity and context-dependent overloading.
J. Braz. Comput. Soc.
Rodrigo Geraldo Ribeiro, Carlos Camarão
2013 J jnl
Mechanized metatheory for a λ-calculus with trust types.
J. Braz. Comput. Soc.
Rodrigo Geraldo Ribeiro, Lucília Figueiredo, Carlos Camarão
2013 J jnl
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading.
J. Braz. Comput. Soc.
Rodrigo Geraldo Ribeiro, Carlos Camarão, Lucília Figueiredo
2007 J jnl
Open and Closed Worlds for Overloading: a Definition and Support for Coexistence.
J. Univers. Comput. Sci.
Carlos Camarão, Cristiano D. Vasconcellos, Lucília Figueiredo, João Nicola
2004 C conf
Constraint-set satisfiability for overloading.
PPDP
Carlos Camarão, Lucília Figueiredo, Cristiano D. Vasconcellos
2003 J jnl
Mimico: a Monad Combinator Parser Generator.
J. Braz. Comput. Soc.
Carlos Camarão, Lucília Figueiredo, Hermann Rodrigues
2003 J jnl
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
J. Univers. Comput. Sci.
Cristiano D. Vasconcellos, Lucília Figueiredo, Carlos Camarão
2002 J jnl
A View on Abstract and Extensibles Types.
Rev. Colomb. de Computación
Lucília Figueiredo, Carlos Camarão
2001 — conf
Adapting Web Contents to WAP Devices using Haskell.
SCCC
Pedro Ivo Oliveira, Carlos Camarão
1999 — conf
Type Inference for Overloading without Restrictions, Declarations or Annotations.
Fuji International Symposium on Functional and Logic Programming
Carlos Camarão, Lucília Figueiredo
1997 — conf
A Type System for Context-dependent Overloading.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Carlos Camarão, Lucília Figueiredo
1997 — conf
Towards Higher-Order Types.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Carlos Camarão, Lucília Figueiredo