There's a good chapter in "Advanced Topics in Types and Programming Languages". High level and more design focused, so might be what you are after? cis.upenn.edu/~bcpierce/atta
This Tweet was deleted by the Tweet author. Learn more
Conversation
Might be helpful to clarify what you mean by 'module system' though - I assumed 'ML-style module system', which might not be what you were after!
2