Type Inference using Constraint Handling Rules

Sandra Alves, Mário Florido. Type Inference using Constraint Handling Rules. Electronic Notes in Theoretical Computer Science, 64:56-72, 2002. [doi]

Bibliographies