A syntactic type system for recursive modules.

Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park

Browse the full OOPSLA paper archive.