Cristiano Vasconcellos
Pontifícia Universidade Católica do Parana, Brazil
C. Camarão, C. Vasconcellos, L. Figueiredo, J. Nicola: Open and Closed Worlds for Overloading: a Definition and Support for Coexistence /jucs_13_6/open_and_closed_worlds
C. Vasconcellos, L. Figueiredo, C. Camarão: Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell /jucs_9_8/practical_type_inference_for