Call-by-Value Semantics for Mutually Recursive First-Class Modules. - Judith Rohloff; Florian Lorenzen (Trends in Functional Programming, 2012)

Analysis and implementation of hierarchical mutually recursive first class modules. - Judith Rohloff (2015)