Publication A syntactic type system for recursive modules OOPSLA 2011: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. pp. 993-1012 Authors Hyeonseung Im Keiko Nakata Jacques Garrigue Sungwoo Park Tags programming-languages formal-methods DOI
