Loading...
Please wait, while we are loading the content...
Similar Documents
A Syntactic Type System for Recursive Modules
| Content Provider | CiteSeerX |
|---|---|
| Author | Park, Sungwoo Nakata, Keiko Garrigue, Jacques Im, Hyeonseung |
| Abstract | A practical type system for ML-style recursive modules should address at least two technical challenges. First, it needs to solve the double vision problem, which refers to an inconsistency between external and internal views of recursive modules. Second, it needs to overcome the tension between practical decidability and expressivity which arises from the potential presence of cyclic type definitions caused by recursion between modules. Although type systems in previous proposals solve the double vision problem and are also decidable, they fail to typecheck common patterns of recursive modules, such as functor fixpoints, that are essential to the expressivity of the module system and the modular development of recursive modules. This paper proposes a novel type system for recursive |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Novel Type System Cyclic Type Definition Ml-style Recursive Module Previous Proposal Common Pattern Internal View Syntactic Type System Practical Decidability Functor Fixpoints Modular Development Module System Recursive Module Technical Challenge Double Vision Problem Practical Type System Potential Presence |
| Content Type | Text |
| Resource Type | Article |
