Keiko Nakata

• A module system with applicative functors and recursive path references
• Path resolution for recursive modules