recmod (researchr/bibliography/publications)

researchr

You are not signed in
Sign in
Sign up

Recursive type generativityDerek Dreyer. JFP, 17(4-5):433-471, 2007. [doi] [classification] 7 years ago

Mixin' Up the ML Module SystemAndreas Rossberg, Derek Dreyer. TOPLAS, 35(1):2, 2013. [doi] [classification] 7 years ago

A modular module systemXavier Leroy. JFP, 10(3):269-303, 2000. [classification] 7 years ago

Mixin modules in a call-by-value settingTom Hirschowitz, Xavier Leroy. TOPLAS, 27(5):857-881, 2005. [doi] [classification] 7 years ago

Manifest Types, Modules, and Separate CompilationXavier Leroy. POPL 1994: 109-122 [doi] [classification] 7 years ago

Applicative Functors and Fully Transparent Higher-Order ModulesXavier Leroy. POPL 1995: 142-153 [classification] 7 years ago

A syntactic type system for recursive modulesHyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park. OOPSLA 2011: 993-1012 [doi] [classification] 7 years ago

A type system for recursive modulesDerek Dreyer. ICFP 2007: 289-302 [doi] [classification] 7 years ago

A Module System for a Programming Language Based on the LF Logical FrameworkRobert Harper, Frank Pfenning. logcom, 8(1):5-31, 1998. [classification] 7 years ago

What is a Recursive Module?Karl Crary, Robert Harper, Sidd Puri. PLDI 1999: 50-63 [doi] [classification] 7 years ago

Advanced module systems: a guide for the perplexed (abstract of invited talk)Robert Harper, Benjamin C. Pierce. ICFP 2000: 130 [doi] [classification] 7 years ago

A type system for higher-order modulesDerek Dreyer, Karl Crary, Robert Harper. POPL 2003: 236-249 [doi] [classification] 7 years ago

Submodules in racket: you want it when, again?Matthew Flatt. GPCE 2013: 13-22 [doi] [classification] 7 years ago

A Framework for Modular Linking in OO LanguagesSean McDirmid, Wilson C. Hsieh, Matthew Flatt. jmlc 2006: 116-135 [doi] [classification] 7 years ago

Units: Cool Modules for HOT LanguagesMatthew Flatt, Matthias Felleisen. PLDI 1998: 236-248 [classification] 7 years ago

Extensible Denotational Language SpecificationsRobert Cartwright, Matthias Felleisen. tacs 1994: 244-272 [classification] 7 years ago

A Closer Look at Export and Import StatementsMatthias Felleisen, Daniel P. Friedman. Comp. Lang., Syst. \& Struct., 11(1):29-37, 1986. [classification] 7 years ago

Hygienic macro expansionKohlbecker, Eugene, Friedman, Daniel P., Matthias Felleisen, Duba, Bruce. In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming. 1986: [doi] [classification] 7 years ago

Hygienic Macro ExpansionEugene E. Kohlbecker, Daniel P. Friedman, Matthias Felleisen, Bruce F. Duba. lfp 1986: 151-161 [doi] [classification] 7 years ago

runs on WebDSL