Carlos Camarão de Figueiredo


Áreas de Pesquisa:
Formação Acadêmica:

Doutor, University of Manchester, Inglaterra, 1994

Sala: 7329
Ramal: 5889
camarao@dcc.ufmg.br

Página pessoal     Lattes    Google scholar 


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.
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).
Ambiguity and context-dependent overloading
2013. Journal of The Brazilian Computer Society (Online).

Trabalhos completos em congressos

Optional Type Classes for Haskell
2016. 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
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

Acesso por PERFIL

Pular para o conteúdo