Tachio Terauchi, Alex Aiken
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
LICS, 2006.
@inproceedings{LICS-2006-TerauchiA,
author = "Tachio Terauchi and Alex Aiken",
booktitle = "{Proceedings of the 21th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2006.41",
isbn = "0-7695-2631-4",
pages = "111--122",
publisher = "{IEEE Computer Society}",
title = "{On Typability for Rank-2 Intersection Types with Polymorphic Recursion}",
year = 2006,
}