Andreas Rossberg, Claudio V. Russo, Derek Dreyer. F-ing modules. Journal of Functional Programming, 24(5):529-607, 2014. [doi]
@article{RossbergRD14, title = {F-ing modules}, author = {Andreas Rossberg and Claudio V. Russo and Derek Dreyer}, year = {2014}, doi = {10.1017/S0956796814000264}, url = {http://dx.doi.org/10.1017/S0956796814000264}, researchr = {https://researchr.org/publication/RossbergRD14}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {24}, number = {5}, pages = {529-607}, }