Jens Palsberg, Patrick O'Keefe
A Type System Equivalent to Flow Analysis
POPL, 1995.
@inproceedings{POPL-1995-PalsbergO,
author = "Jens Palsberg and Patrick O'Keefe",
booktitle = "{Conference Record of the 22nd Symposium on Principles of Programming Languages}",
doi = "10.1145/199448.199533",
editor = "Ron K. Cytron and Peter Lee",
isbn = "0-89791-692-1",
note = "long version: TOPLAS 17 (4): 576-599 (1995)",
pages = "367--378",
publisher = "{ACM Press}",
title = "{A Type System Equivalent to Flow Analysis}",
year = 1995,
}