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, Juli 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}
}