% Bibliography downloaded from https://researchr.org/downloadbibtex/bibliography/ldwb-recmod @article{HarperP98, title = {A Module System for a Programming Language Based on the LF Logical Framework}, author = {Robert Harper and Frank Pfenning}, year = {1998}, tags = {programming languages, rule-based, programming}, researchr = {https://researchr.org/publication/HarperP98}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {8}, number = {1}, pages = {5-31}, } @inproceedings{DreyerCH03, title = {A type system for higher-order modules}, author = {Derek Dreyer and Karl Crary and Robert Harper}, year = {2003}, doi = {10.1145/640128.604151}, url = {http://doi.acm.org/10.1145/640128.604151}, tags = {type system}, researchr = {https://researchr.org/publication/DreyerCH03}, cites = {0}, citedby = {0}, pages = {236-249}, booktitle = {POPL}, } @article{FelleisenF86, title = {A Closer Look at Export and Import Statements}, author = {Matthias Felleisen and Daniel P. Friedman}, year = {1986}, researchr = {https://researchr.org/publication/FelleisenF86}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {11}, number = {1}, pages = {29-37}, } @article{Leroy00, title = {A modular module system}, author = {Xavier Leroy}, year = {2000}, researchr = {https://researchr.org/publication/Leroy00}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {10}, number = {3}, pages = {269-303}, } @inproceedings{McDirmidHF06, title = {A Framework for Modular Linking in OO Languages}, author = {Sean McDirmid and Wilson C. Hsieh and Matthew Flatt}, year = {2006}, doi = {10.1007/11860990_9}, url = {http://dx.doi.org/10.1007/11860990_9}, tags = {C++}, researchr = {https://researchr.org/publication/McDirmidHF06}, cites = {0}, citedby = {0}, pages = {116-135}, booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, Proceedings}, editor = {David E. Lightfoot and Clemens A. Szyperski}, volume = {4228}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40927-0}, } @inproceedings{ImNGP11, title = {A syntactic type system for recursive modules}, author = {Hyeonseung Im and Keiko Nakata and Jacques Garrigue and Sungwoo Park}, year = {2011}, doi = {10.1145/2048066.2048141}, url = {http://doi.acm.org/10.1145/2048066.2048141}, researchr = {https://researchr.org/publication/ImNGP11}, cites = {0}, citedby = {0}, pages = {993-1012}, booktitle = {Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011}, editor = {Cristina Videira Lopes and Kathleen Fisher}, publisher = {ACM}, isbn = {978-1-4503-0940-0}, } @inproceedings{Flatt13, title = {Submodules in racket: you want it when, again?}, author = {Matthew Flatt}, year = {2013}, doi = {10.1145/2517208.2517211}, url = {http://doi.acm.org/10.1145/2517208.2517211}, researchr = {https://researchr.org/publication/Flatt13}, cites = {0}, citedby = {0}, pages = {13-22}, booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013}, editor = {Jaakko Järvi and Christian Kästner}, publisher = {ACM}, isbn = {978-1-4503-2373-4}, } @article{Dreyer07, title = {Recursive type generativity}, author = {Derek Dreyer}, year = {2007}, doi = {10.1017/S0956796807006429}, url = {http://dx.doi.org/10.1017/S0956796807006429}, researchr = {https://researchr.org/publication/Dreyer07}, cites = {0}, citedby = {0}, journal = {Journal of Functional Programming}, volume = {17}, number = {4-5}, pages = {433-471}, } @inproceedings{HarperP00, title = {Advanced module systems: a guide for the perplexed (abstract of invited talk)}, author = {Robert Harper and Benjamin C. Pierce}, year = {2000}, doi = {10.1145/351240.351252}, url = {http://doi.acm.org/10.1145/351240.351252}, tags = {C++}, researchr = {https://researchr.org/publication/HarperP00}, cites = {0}, citedby = {0}, pages = {130}, booktitle = {ICFP}, } @inproceedings{FlattF98, title = {Units: Cool Modules for HOT Languages}, author = {Matthew Flatt and Matthias Felleisen}, year = {1998}, researchr = {https://researchr.org/publication/FlattF98}, cites = {0}, citedby = {0}, pages = {236-248}, booktitle = {PLDI}, } @article{RossbergD13, title = {Mixin' Up the ML Module System}, author = {Andreas Rossberg and Derek Dreyer}, year = {2013}, doi = {10.1145/2450136.2450137}, url = {http://doi.acm.org/10.1145/2450136.2450137}, researchr = {https://researchr.org/publication/RossbergD13}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {35}, number = {1}, pages = {2}, } @inproceedings{KohlbeckerFFD86, title = {Hygienic Macro Expansion}, author = {Eugene E. Kohlbecker and Daniel P. Friedman and Matthias Felleisen and Bruce F. Duba}, year = {1986}, doi = {10.1145/320000/319859/p151-kohlbecker.pdf?key1=319859&key2=7573098711&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618}, url = {http://delivery.acm.org/10.1145/320000/319859/p151-kohlbecker.pdf?key1=319859&key2=7573098711&coll=&dl=ACM&CFID=15151515&CFTOKEN=6184618}, tags = {macros, e-science, Hygienic Macro}, researchr = {https://researchr.org/publication/KohlbeckerFFD86}, cites = {0}, citedby = {0}, pages = {151-161}, booktitle = {LISP and Functional Programming}, } @inproceedings{CraryHP99, title = {What is a Recursive Module?}, author = {Karl Crary and Robert Harper and Sidd Puri}, year = {1999}, doi = {10.1145/301618.301641}, url = {http://doi.acm.org/10.1145/301618.301641}, researchr = {https://researchr.org/publication/CraryHP99}, cites = {0}, citedby = {0}, pages = {50-63}, booktitle = {PLDI}, } @inproceedings{Leroy95, title = {Applicative Functors and Fully Transparent Higher-Order Modules}, author = {Xavier Leroy}, year = {1995}, researchr = {https://researchr.org/publication/Leroy95}, cites = {0}, citedby = {0}, pages = {142-153}, booktitle = {POPL}, } @inproceedings{CartwrightF94, title = {Extensible Denotational Language Specifications}, author = {Robert Cartwright and Matthias Felleisen}, year = {1994}, tags = {extensible language}, researchr = {https://researchr.org/publication/CartwrightF94}, cites = {0}, citedby = {0}, pages = {244-272}, booktitle = {Theoretical Aspects of Computer Software, International Conference TACS 94, Sendai, Japan, April 19-22, 1994, Proceedings}, editor = {Masami Hagiya and John C. Mitchell}, volume = {789}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-57887-0}, } @article{HirschowitzL05, title = {Mixin modules in a call-by-value setting}, author = {Tom Hirschowitz and Xavier Leroy}, year = {2005}, doi = {10.1145/1086642.1086644}, url = {http://doi.acm.org/10.1145/1086642.1086644}, researchr = {https://researchr.org/publication/HirschowitzL05}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {27}, number = {5}, pages = {857-881}, } @inproceedings{Dreyer07:0, title = {A type system for recursive modules}, author = {Derek Dreyer}, year = {2007}, doi = {10.1145/1291151.1291196}, url = {http://doi.acm.org/10.1145/1291151.1291196}, tags = {type system}, researchr = {https://researchr.org/publication/Dreyer07%3A0}, cites = {0}, citedby = {0}, pages = {289-302}, booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007}, editor = {Ralf Hinze and Norman Ramsey}, publisher = {ACM}, isbn = {978-1-59593-815-2}, } @inproceedings{319859, title = {Hygienic macro expansion}, author = {Kohlbecker, Eugene and Friedman, Daniel P. and Matthias Felleisen and Duba, Bruce}, year = {1986}, doi = {10.1145/319838.319859}, url = {http://doi.acm.org/10.1145/319838.319859}, tags = {macros}, researchr = {https://researchr.org/publication/319859}, cites = {0}, citedby = {0}, booktitle = {LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming}, address = {New York, NY, USA}, publisher = {ACM}, isbn = {0-89791-200-4}, } @inproceedings{Leroy94, title = {Manifest Types, Modules, and Separate Compilation}, author = {Xavier Leroy}, year = {1994}, doi = {10.1145/174675.176926}, researchr = {https://researchr.org/publication/Leroy94}, cites = {0}, citedby = {0}, pages = {109-122}, booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, }