Go home now Header Background Image
Submission Procedure
share: |
Follow us

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
page 874 - 890
Vol.13 / Issue 6
C. Vasconcellos, L. Figueiredo, C. Camarão:
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
page 873 - 890
Vol.9 / Issue 8