Parameterized Modules for Classes and Extensible Functions
No abstract available.
Related papers
- Using Parameterized Signatures to Express Modular Structure POPL 1996
- Two-level types and parameterized modules JFP 2004
- Adding Type Parameterization to the Java Language OOPSLA 1997
- Generic Unification via Two-Level Types and Parameterized Modules ICFP 2001
- Software extension and integration with type classes GPCE 2006
- A calculus of module systems JFP 2002
- 1ML - core and modules united (F-ing first-class modules) ICFP 2015
- Applicative Functors and Fully Transparent Higher-Order Modules POPL 1995