Página do Professor
Cristiano Damiani Vasconcellos
Principal Avisos Disciplinas Materiais Links Contato


Mini currículo

Possui graduação em Ciência da Computação pela Pontifícia Universidade Católica do Paraná (1993), mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná (1997) e doutorado em Ciências da Computação pela Universidade Federal de Minas Gerais (2004).
Currículo Lattes.


Áreas de interesse

Projeto, implementação e uso de linguagens de programação. Em particular, linguagens funcionais, sistemas de tipos, polimorfismo e programação orientada a objetos.


Publicações

Camarão, Carlos; Figueiredo, Lucília; Ribeiro, Rodrigo G.; Vasconcellos, Cristiano D. A Solution to Haskell's Multi-Parameter Type Class Dilemma. XIII Simpósio Brasileiro de Linguagens de Programação, Gramado, Aug, 2009.

Camarão, Carlos; Vasconcellos, Cristiano D. ; Figueiredo, Lucília; João Nicola. Open and Closed Worlds for Overloading: a Definition and Support for Coexistence. XI Simpósio Brasileiro de Linguagens de Programação, Natal Aug 2007. Revised version in Journal of Universal Computer Science, v. 13, p. 874-890, 2007.

Inferência de Tipos com Suporte a Sobrecarga Baseada no Sistema CT.
Tese de Doutorado, UFMG, 2004.

(DOI) Camarão, Carlos; Figueiredo, Lucília; Vasconcellos, Cristiano D. Constraint-set satisfiability for Overloading. 6th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming, Verona, Aug 2004.

Vasconcellos, Cristiano; Figueiredo, Lucília; Camarão, Carlos. Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell. VII Simpósio Brasileiro de Linguagens de Programação, Ouro Preto, May 2003. Revised Version in Journal of Universal Computer Science 9(8):873–890, Aug 2003.

Eberspacher, Henri F. ; Vasconcellos, Cristiano D. ; Jamur, José H.; Eleutério, Marco A. Eureka: um ambiente de aprendizagem cooperativa baseado na Web para Educação à Distância. Simpósio Brasileiro de Informática na Educação (SBIE), 1999, Curitiba, 1999.




Informações adicionais


Voltar : Capa Páginas dos Professores

Centro de Ciências Tecnológicas - CCT - Universidade do Estado de Santa Catarina - UDESC
Rua Paulo Malchitzke, s/n - Campus Universitário Prof. Avelino Marcante - Bairro Bom Retiro - Joinville-SC - Brasil
CEP 89223-100 - Fone (47) 4009-7900 - Fax (47) 4009-7940