Mixin modules in a call-by-value setting (2002)

by Tom Hirschowitz , Xavier Leroy
Venue:In European Symposium on Programming
Citations:66 - 8 self

Active Bibliography

2 Mixin modules, modules and extended value binding in a call-by-value setting – Tom Hirschowitz - 2003
15 Call-by-value mixin modules: Reduction semantics, side effects, types – Tom Hirschowitz, Xavier Leroy, J. B. Wells - 2004
A module system with applicative functors and recursive path references – Keiko Nakata
19 Type-Safe Linking with Recursive DLLs and Shared Libraries – Dominic Duggan - 2001
18 Mixin Modules and Computational Effects – D. Ancona, S. Fagorzi, E. Moggi, E. Zucca - 2003
27 Equational Reasoning for Linking with First-Class Primitive Modules – J. B. Wells, René Vestergaard - 2000
79 A Modular Module System – Xavier Leroy - 2000
True Higher-Order Modules, Separate Compilation, and Signature Calculi ∗ – George Kuan - 2009
1 Path resolution for recursive modules – Keiko Nakata, Jacques Garrigue - 2006
63 Recursive Structures for Standard ML – Claudio V. Russo - 2001
43 Understanding and Evolving the ML Module System – Derek Dreyer, Peter Lee - 2005
19 Sharing in Typed Module Assembly Language – Dominic Duggan - 2000
9 A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics – Davide Ancona, Elena Zucca - 1999
A Mixin ’ Up the ML Module System – Andreas Rossberg Google
16 Mixin’ Up the ML Module System – Derek Dreyer, Andreas Rossberg
8 A Reduction Semantics for Call-by-Value Mixin Modules – Tom Hirschowitz, Xavier Leroy, J. B. Wells - 2002
25 Programming Languages for Reusable Software Components – Matthew Flatt - 1999
Thesis Proposal: Effective Type Theory for Modularity – Derek Dreyer, Peter Lee - 2002
Lazy mixins and disciplined effects – Keiko Nakata