Carlos Camarão de Figueiredo

Áreas de Pesquisa: Formação Acadêmica:
Doutor, University of Manchester, Inglaterra, 1994
Ramal: 5889
camarao@dcc.ufmg.br


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

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).

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

2004. Principles and Practice of Declarative Programming (PPDP'04).

2003. SBLP '2003.

1990. 5th CHILL Conference.
Resumos expandidos em congressos
Resumos em congressos
Veja todas as publicações no Currículo Lattes