Recursive modules for programming (2006)

by Keiko Nakata, Jacques Garrigue
Venue:In Proc. International Conference on Functional Programming