Conference articles
- Sandra Alves and Mario Florido. Type Inference using Constraint Handling Rules. In M. Hanus, editor, WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, pages 56-72, November 2002. Elsevier. Keyword(s): type systems.
BACK TO INDEX