Recursive modules for programming.

Keiko Nakata, Jacques Garrigue

Browse the full ICFP paper archive.