Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleAugust 2015
1ML – core and modules united (F-ing first-class modules)
ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional ProgrammingPages 35–47https://doi.org/10.1145/2784731.2784738ML is two languages in one: there is the core, with types and expressions, and there are modules, with signatures, structures and functors. Modules form a separate, higher-order functional language on top of the core. There are both practical and ...
Also Published in:
ACM SIGPLAN Notices: Volume 50 Issue 9 - research-articleApril 2013
Mixin’ Up the ML Module System
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 35, Issue 1Article No.: 2, Pages 1–84https://doi.org/10.1145/2450136.2450137ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules ...
- research-articleSeptember 2008
Mixin' up the ML module system
ICFP '08: Proceedings of the 13th ACM SIGPLAN international conference on Functional programmingPages 307–320https://doi.org/10.1145/1411204.1411248ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into mutually recursive, separately compilable components. Mixin modules ...
Also Published in:
ACM SIGPLAN Notices: Volume 43 Issue 9 - articleMarch 2006
ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
Electronic Notes in Theoretical Computer Science (ENTCS) (ENTCS), Volume 148, Issue 2Pages 181–209https://doi.org/10.1016/j.entcs.2005.11.045To illustrate the utility of a powerful modules language, this paper presents the embedded interpreter Lua-ML. The interpreter combines extensibility and separate compilation without compromising type safety. Its types are extended by applying a sum ...