Carlos Camarão de Figueiredo
![](/wp-content/uploads/carlos-camarao.jpeg)
Áreas de Pesquisa: Formação Acadêmica:
Doutor, University of Manchester, Inglaterra, 1994
Ramal: 5889
camarao@dcc.ufmg.br
![](../../wp-content/uploads/logo-www.png)
![](../../wp-content/uploads/logo-google-scholar.png)
Informações resumidas do Currículo Lattes
Currículo Lattes atualizado em 15/09/2018Nome em citações bibliográficas: Camarão, Carlos;CAMARÃO, CARLOS
Projetos de pesquisa em andamento
Projetos de desenvolvimento em andamento
Últimas publicações
Artigos em periódicos
![](/wp-content/uploads/logo-relevante.gif)
2016. SCIENCE OF COMPUTER PROGRAMMING.
Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading
2013. Journal of The Brazilian Computer Society (Online).
Mechanized metatheory for a $$lambda $$ λ -calculus with trust types
2013. Journal of the Brazilian Computer Society (Impresso).
![](/wp-content/uploads/logo-relevante.gif)
2013. Journal of The Brazilian Computer Society (Online).
Trabalhos completos em congressos
Optional Type Classes for Haskell2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages). 0
Certified Derivative-Based Parsing of Regular Expressions
2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages). 1
A Mechanized Textbook Proof of a Type Unification Algorithm
2015. 18th Brazilian Symposium on Formal Methods. 2
Type Inference for GADTs and Anti-unification
2015. XXIX SBLP. 3
First Class Overloading via Intersection Type Parameters
2011. SBLP 2011 (XV Brazilian Symposium on Programming Languages). 4
![](/wp-content/uploads/logo-relevante.gif)
2004. Principles and Practice of Declarative Programming (PPDP'04).
![](/wp-content/uploads/logo-relevante.gif)
2003. SBLP '2003.
![](/wp-content/uploads/logo-relevante.gif)
1990. 5th CHILL Conference.
Resumos expandidos em congressos
Resumos em congressos
Veja todas as publicações no Currículo Lattes