Carlos Camarão de Figueiredo


 Professor  Adjunto


Doutor, University of Manchester, Inglaterra, 1994

  camarao@dcc.ufmg.br   www
 ICEx/DCC, sala 7329, +55 (31) 3409-5889
Áreas de pesquisa

Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 26/07/2017

Formação acadêmica

Doutorado em PhD in Computer Science na University of Manchester em 1994
Mestrado em Ciências da Computação na Universidade Federal de Minas Gerais em 1987
Graduado em Engenharia Mecânica na Universidade Federal de Minas Gerais em 1981

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


Trabalhos completos em congressos

Certified Derivative-Based Parsing of Regular Expressions
2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages).
Optional Type Classes for Haskell
2016. SBLP 2016 (20th Brazilian Symposium on Programming Languages).
A Mechanized Textbook Proof of a Type Unification Algorithm
2015. 18th Brazilian Symposium on Formal Methods.
Type Inference for GADTs and Anti-unification
2015. XXIX SBLP.
First Class Overloading via Intersection Type Parameters
2011. SBLP 2011 (XV Brazilian Symposium on Programming Languages). 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