Path resolution for nested recursive modules

Jacques Garrigue, Keiko Nakata. Path resolution for nested recursive modules. Higher-Order and Symbolic Computation, 24(3):207-237, 2011. [doi]

Authors

Jacques Garrigue

This author has not been identified. Look up 'Jacques Garrigue' in Google

Keiko Nakata

This author has not been identified. Look up 'Keiko Nakata' in Google