Reading List
- What is a recursive module?
- Mixin modules
- Retrofitting and strengthening the ML module system
- A Syntactic Type System for Recursive Modules
- Mixin’ Up the ML Module System
- Recursive modules for programming
- A Type System for Recursive Modules
Research Questions
- What is the correct core language for modeling recursive modules? (cf. 5.2 Type Checking, issue of constructor equality)
- 【 issue of transparency in ZipML + Recursive modules】 Does transparency in ZipML help with recursive modules?
Future Concerns
- Next Friday, perhaps see Clement Bleadau
- double vision problem
- inferring signature
- modules have to be in a same module file
- collect examples and complains in OCaml