| Eureka: um ambiente de aprendizagem cooperativa baseado na Web para Educação à Distância HF Eberspächer, CD Vasconcelos, JH Jamur, MA Eleuterio Simpósio Brasileiro de Informática na Educação (SBIE) 10, 1999 | 18 | 1999 |
| Constraint-set satisfiability for overloading C Camarao, L Figueiredo, C Vasconcellos Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004 | 14 | 2004 |
| ICARU-FB: An IEC 61499 Compliant Multiplatform Software Infrastructure LI Pinto, CD Vasconcellos, RSU Rosso, GH Negri IEEE Transactions on Industrial Informatics 12 (3), 1074-1083, 2016 | 10 | 2016 |
| Enhancing automatic generation of VHDL descriptions from UML/MARTE models M Leite, CD Vasconcellos, MA Wehrmeister Industrial Informatics (INDIN), 2014 12th IEEE International Conference on …, 2014 | 7 | 2014 |
| 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 |
| 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 |
| Fully-Tested code generation from TLA+ specifications G Moreira, C Vasconcellos, J Kniess Proceedings of the 7th Brazilian Symposium on Systematic and Automated …, 2022 | 3 | 2022 |
| Optional Type Classes for Haskell R Ribeiro, C Camarão, L Figueiredo, C Vasconcellos Brazilian Symposium on Programming Languages, 125-139, 2016 | 2 | 2016 |
| Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. C Camarão, C Vasconcellos, L Figueiredo, J Nicola J. UCS 13 (6), 874-890, 2007 | 2 | 2007 |
| O Uso de Assistente de Provas no Ensino de Lógica RG Ribeiro, K Roggia, C Vasconcellos Anais Estendidos do I Simpósio Brasileiro de Educação em Computação, 05-05, 2021 | 1 | 2021 |
| Monadic W in Coq RCG Silva, C Vasconcellos, KG Roggia Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 1 | 2020 |
| Type inference for GADTs, outsidein and anti-unification G Moreira, C Vasconcellos, R Ribeiro Proceedings of the XXII Brazilian Symposium on Programming Languages, 51-58, 2018 | 1 | 2018 |
| Inferência de tipos com suporte para sobrecarga baseada no sistema CT CD Vasconcellos Universidade Federal de Minas Gerais, 2004 | 1 | 2004 |
| 26th Brazilian Symposium on Programming Languages—SBLP 2022— M Maia, F Dorça, R Araújo, CD Vasconcellos | | 2022 |
| Proceedings of the 6th Brazilian Symposium on Systematic and Automated Software Testing C Vasconcellos, K Roggia, P Bousfield, V Collere, M Eler, WKG Assunção ACM, 2021 | | 2021 |
| 15th Brazilian Symposium on Software Components, Architectures, and Reuse C Vasconcellos, K Roggia, P Bousfield, V Collere, R Bonifácio ACM, 2021 | | 2021 |
| Proceedings of the 25th Brazilian Symposium on Programming Languages C Vasconcellos, K Roggia, P Bousfield, V Collereii, JP Fernandes, ... ACM, 2021 | | 2021 |
| Inferring types and effects via static single assignment LF Rigon, P Torrens, C Vasconcellos Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1314-1321, 2020 | | 2020 |
| Haskell Type System Analysis RCG Silva, KG Roggia, CD Vasconcellos Revista de Informática Teórica e Aplicada 25 (3), 75-88, 2018 | | 2018 |
Carlos CamaraoProfessor de Ciência da Computação, Universidade Federal de Minas GeraisVerified email at dcc.ufmg.br
