| Document Date: 2007-06-11 22:37:17
Open Document File Size: 81,70 KBShare Result on Facebook
Company ACM Press / MIT Press / / Facility Carnegie Mellon University / Kyoto University Nagoya University / / IndustryTerm functor applications / / Organization Carnegie Mellon University / MIT / Kyoto University Nagoya University / / Position Prime Minister / program PM / R. Harper / and S. Puri / R. Harper / and D. MacQueen / programmer / / ProgrammingLanguage ML / C / / Technology Functional Programming / dom / / |
Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2