Cristiano Vasconcellos
Título
Citado por
Citado por
Ano
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
171999
Constraint-set satisfiability for overloading
C Camarao, L Figueiredo, C Vasconcellos
Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
142004
Practical type inference for polymorphic recursion: an implementation in haskell
C Vasconcellos, L Figueiredo, C Camarao
J. UCS 9 (8), 873-890, 2003
82003
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
72016
Type Inference for GADTs and Anti-unification
A Gelain, C Vasconcellos, C Camarão, R Ribeiro
Brazilian Symposium on Programming Languages, 16-30, 2015
52015
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
52014
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
42009
Optional Type Classes for Haskell
R Ribeiro, C Camarão, L Figueiredo, C Vasconcellos
Brazilian Symposium on Programming Languages, 125-139, 2016
32016
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
22007
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
12018
Inferência de tipos com suporte para sobrecarga baseada no sistema CT
CD Vasconcellos
Universidade Federal de Minas Gerais, 2004
12004
Monadic W in Coq
RCG Silva, C Vasconcellos, KG Roggia
Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020
2020
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
A hybrid intermediate language between SSA and CPS
P Torrens, C Vasconcellos, J Gonçalves
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-3, 2017
2017
SISTEMAS DE TIPOS PARA LINGUAGENS DE PROGRAMAÇÃO
G Moreira, CD Vasconcellos
ICARU-FB & FBE: Um Ambiente de Desenvolvimento Aderentea Norma IEC 61499
LI Pinto, CD Vasconcellos, RSU Rosso Jr, E Harbs, GH Negri
Roteamento em Projeto de Circuitos: uma soluç ao com Colônia de Formigas.
LI Pinto, M Leite, CD Vasconcellos, MA Wehrmeister, SC Joinville
Programaç ao Funcional-Introduç ao a Cálculo Lambda
CD Vasconcellos
Inferencia de Tipos em uma Linguagem Funcional com Suporte para Sobrecarga Baseada no Sistema CT
CD Vasconcellos, C Camarao
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20