Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park
A syntactic type system for recursive modules
OOPSLA, 2011.
@inproceedings{OOPSLA-2011-ImNGP,
author = "Hyeonseung Im and Keiko Nakata and Jacques Garrigue and Sungwoo Park",
booktitle = "{Proceedings of the 26th Conference on Object-Oriented Programming, Systems, Languages and Applications}",
doi = "10.1145/2048066.2048141",
editor = "Cristina Videira Lopes and Kathleen Fisher",
isbn = "978-1-4503-0940-0",
pages = "993--1012",
publisher = "{ACM}",
title = "{A syntactic type system for recursive modules}",
year = 2011,
}
Tags: