Jens Palsberg, Michael I. Schwartzbach. Binding-time Analysis: Abstract Interpretation versus Type Inference. In Henri E. Bal, editor, Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. pages 277-288, IEEE Computer Society, 1994. [doi]
@inproceedings{PalsbergS94,
title = {Binding-time Analysis: Abstract Interpretation versus Type Inference},
author = {Jens Palsberg and Michael I. Schwartzbach},
year = {1994},
url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=288372&tag=1},
tags = {type inference, rule-based, program analysis, analysis, binding-time, partial evaluation, systematic-approach},
researchr = {https://researchr.org/publication/PalsbergS94},
cites = {0},
citedby = {0},
pages = {277-288},
booktitle = {Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France},
editor = {Henri E. Bal},
publisher = {IEEE Computer Society},
}