Algorithms for Type Inference with Coercions
In proceedings of Proc. Symposium on Symbolic and Algebraic Computation (ISSAC `94), Association for Computing Machinery, pages 324-329, July 1994
Bibtex
@INPROCEEDINGS{Weber94a, author = {Weber, Andreas}, pages = {324--329}, title = {Algorithms for Type Inference with Coercions}, booktitle = {Proc. Symposium on Symbolic and Algebraic Computation (ISSAC `94)}, year = {1994}, month = jul, organization = {Association for Computing Machinery}, isbn = {0-89791-638-7} }