Jens Palsberg, Christina Pavlopoulou
From Polyvariant Flow Information to Intersection and Union Types
POPL, 1998.
@inproceedings{POPL-1998-PalsbergP,
author = "Jens Palsberg and Christina Pavlopoulou",
booktitle = "{Proceedings of the 25th Symposium on Principles of Programming Languages}",
doi = "10.1145/268946.268963",
editor = "David B. MacQueen and Luca Cardelli",
isbn = "0-89791-979-3",
pages = "197--208",
publisher = "{ACM}",
title = "{From Polyvariant Flow Information to Intersection and Union Types}",
year = 1998,
}