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]

Abstract

Abstract is missing.