Showing results for Modular type checking for hierarchically extensible data types and functions.
Search instead for Modular typechecking for hierarchically extensible datatypes and functions.
We describe Extensible ML (EML), an ML-like language that supports hierarchical, extensible datatypes and func- tions while preserving purely modular ...
This approach allows existing datatypes to be easily extended with both new operations and new variants, resolving a longstanding conflict between the ...
We describe Extensible ML (EML), an ML-like language that supports hierarchical, extensible datatypes and functions while preserving purely modular typechecking ...
This approach allows existing datatypes to be easily extended with both new operations and new variants, resolving a long-standing conflict between the ...
This work describes Extensible ML (eml), an ML-like language that supports hierarchical, extensible datatype and functions while preserving purely modular ...
This approach allows existing datatypes to be easily extended with both new operations and new variants, resolving a long-standing conflict between the ...
Modular type- checking for hierarchically extensible datatypes and functions. In Proceed- ings of the Seventh ACM SIGPLAN International Conference on ...
[PDF] A Type System for Higher-Order Modules (Expanded Version)
reports-archive.adm.cs.cmu.edu › C...
Modular typechecking for hierarchically extensible datatypes and functions. In 9th Workshop on Foundations of Object-Oriented Languages, pages 1–12 ...
MRM allows the modular definition of datatypes and functions by pattern matching, using a style similar to the widely popular Datatypes `a la Carte (DTC) ...
Modular typechecking for hierarchically extensible datatypes and functions · T. MillsteinColin BlecknerC. Chambers. Computer Science. ICFP '02. 2002. TLDR. This ...