| Type inference for overloading without restrictions, declarations or annotations C Camarao, L Figueiredo International Symposium on Functional and Logic Programming, 37-52, 1999 | 26 | 1999 |
| Programação de Computadores em JAVA C Camarao, L Figueiredo LTC, 2003 | 16 | 2003 |
| Constraint-set satisfiability for overloading C Camarao, L Figueiredo, C Vasconcellos Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 14 | 2004 |
| Certified derivative-based parsing of regular expressions R Lopes, R Ribeiro, C Camarão Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 10 | 2016 |
| A mechanized textbook proof of a type unification algorithm R Ribeiro, C Camarão Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF …, 2016 | 7 | 2016 |
| Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. CD Vasconcellos, L Figueiredo, C Camarao J. Univers. Comput. Sci. 9 (8), 873-890, 2003 | 7 | 2003 |
| Adapting web contents to wap devices using haskell PI Oliveira, C Camarao SCCC 2001. 21st International Conference of the Chilean Computer Science …, 2001 | 5 | 2001 |
| A monadic combinator compiler compiler C Camarao, L Figueiredo 5th Brazilian Symposium on Programming Languages, 2001 | 5 | 2001 |
| H.(2003) Mimico: A Monadic Combinator Compiler Generator C Camarao, L Figueiredo, R Oliveira Journal of the Brazilian Computer Society 9 (1), 0 | 5* | |
| Type inference for GADTs and anti-unification A Gelain, C Vasconcellos, C Camarão, R Ribeiro Programming Languages: 19th Brazilian Symposium SBLP 2015, Belo Horizonte …, 2015 | 4 | 2015 |
| A Solution to Haskell’s Multi-Parameter Type Class Dilemma C Camarao, R Ribeiro, L Figueiredo, C Vasconcellos Proc. of the 13th Brazilian Symposium on Programming Languages (SBLP’2009), 5-18, 2009 | 4 | 2009 |
| Principal Typing and Mutual Recursion L Figueiredo, C Camarao Proc. of the International Workshop on Functional and Logic Programming, 157-170, 2001 | 4 | 2001 |
| Type inference for overloading C Camarao, L Figueiredo Technical report, UFMG, 2001. Submitted for publication. Available at http …, 0 | 4 | |
| Ambiguity and context-dependent overloading R Ribeiro, C Camarão Journal of the Brazilian Computer Society 19, 313-324, 2013 | 3 | 2013 |
| Ambiguity and constrained polymorphism C Camarao, L Figueiredo, R Ribeiro Science of Computer Programming 124, 1-19, 2016 | 2 | 2016 |
| Optional Type Classes for Haskell R Ribeiro, C Camarao, L Figueiredo, C Vasconcellos Programming Languages: 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil …, 2016 | 2 | 2016 |
| Terminating constraint set satisfiability and simplification algorithms for context-dependent overloading R Ribeiro, C Camarão, L Figueiredo Journal of the Brazilian Computer Society 19, 423-432, 2013 | 2 | 2013 |
| Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. C Camarao, CD Vasconcellos, L Figueiredo, J Nicola J. Univers. Comput. Sci. 13 (6), 874-890, 2007 | 2 | 2007 |
| Constraint-set Satisfiability for Overloading L Figueiredo, C Camarao, C Vasconcelos Technical report, UFMG, 2003 | 2 | 2003 |
| Semi-unifiability is decidable L Figueiredo, C Camarao Under consideration for publication, 2002 | 2 | 2002 |
Cristiano VasconcellosUniversidade do Estado de Santa CatarinaVerified email at udesc.br
