Luca Roversi. A Polymorphic Language Which Is Typable and Poly-step. In Jieh Hsiang, Atsushi Ohori, editors, Advances in Computing Science - ASIAN 98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings. Volume 1538 of Lecture Notes in Computer Science, pages 43-60, Springer, 1998. [doi]
@inproceedings{Roversi98,
title = {A Polymorphic Language Which Is Typable and Poly-step},
author = {Luca Roversi},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1538/15380043.htm},
researchr = {https://researchr.org/publication/Roversi98},
cites = {0},
citedby = {0},
pages = {43-60},
booktitle = {Advances in Computing Science - ASIAN 98, 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings},
editor = {Jieh Hsiang and Atsushi Ohori},
volume = {1538},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-65388-0},
}