Carlos Camarão de Figueiredo


Adjunto  Professor 


Doutor, University of Manchester, Inglaterra, 1994

  camarao@dcc.ufmg.br   www
 ICEx/DCC, room 7329, +55 (31) 3409-5889
Research areas

Information extracted from Lattes platform


Last update: 2018/09/15

Degrees

Ph.D. PhD in Computer Science na University of Manchester em 1994
M.Sc. Ciências da Computação na Universidade Federal de Minas Gerais em 1987
B.Sc. Engenharia Mecânica na Universidade Federal de Minas Gerais em 1981

Current projects

Current applied research projects

See all projects in Lattes

Recent publications

Articles in journals

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

Papers in conferences

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.

Extended abstracts in conferences


Abstracts in conferences


See all publications in Lattes

Current students

MS

PhD

See all students in Lattes