R. Ierusalimschy, L. Figueiredo, M. Tulio de Oliveira Valente:
7th Brasilian Symposium on Programming Languages
J.UCS Special Issue
/jucs_9_8/7th_brasilian_symposium_on

page 729 - 729
Vol.9 / Issue 8

C. Vasconcellos, L. Figueiredo, C. Camarão:
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell
/jucs_9_8/practical_type_inference_for

page 873 - 890
Vol.9 / Issue 8