Conference articles
- Hugo Simões and Mário Florido. TypeTool: A Type Inference Visualization Tool. In H. Kuchen, editor, WFLP '04: Proc. 13th Intl. Workshop on Functional and (Constraint) Logic Programming, RWTH Aachen, deptcw, Technical report AIB-2004-05, Aachen, Germany, pages 48-61, June 2004. Keyword(s): type systems.
BACK TO INDEX