---

Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 15/09/2018

Nome em citações bibliográficas: Camarão, Carlos;CAMARÃO, CARLOS

---

Projetos de pesquisa em andamento

Projetos de desenvolvimento em andamento

Veja todos os projetos no Currículo Lattes

---

Últimas publicações

Artigos em periódicos

Ambiguity and constrained polymorphism
2016. SCIENCE OF COMPUTER PROGRAMMING.
Mechanized metatheory for a $$lambda $$ λ -calculus with trust types
2013. Journal of the Brazilian Computer Society (Impresso).
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
2013. Journal of The Brazilian Computer Society (Online).
Ambiguity and context-dependent overloading
2013. Journal of The Brazilian Computer Society (Online).

Trabalhos completos em congressos

Certified Derivative-Based Parsing of Regular Expressions
2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages). 0
Optional Type Classes for Haskell
2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages). 1
Type Inference for GADTs and Anti-unification
2015. XXIX SBLP. 2
A Mechanized Textbook Proof of a Type Unification Algorithm
2015. 18th Brazilian Symposium on Formal Methods. 3
From Proof Trees to Justificatory Answering
2011. EPIA 2011. 4
Constraint-set satisfiability for Overloading
2004. Principles and Practice of Declarative Programming (PPDP'04).
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
2003. SBLP '2003.
A Smart Recompilation Scheme in a CHILL Compiler
1990. 5th CHILL Conference.

Resumos expandidos em congressos

Resumos em congressos

Veja todas as publicações no Currículo Lattes

---

Orientações em andamento

Mestrado

Doutorado

Veja todas as orientações no Currículo Lattes

---