Searching for "Modules for Standard ML." – sorted by Relevance.
-
Extending Record typing to type parametric modules with sharing
- to solve the two main typing problems for modules in Standard ML: matching and sharing. We obtain a type
- Cited by 13 (1 self) – Add To MetaCart
-
Standard ML Type Generativity as Existential Quantification
- design, type theory, modules, Standard ML. 1 Introduction Standard ML[13] has a rich modules language
- Cited by 2 (1 self) – Add To MetaCart
-
An exploration of modular programs
- the module systems of Standard ML and Haskell 1.3, two widely used functional languages, and a Haskell
- Cited by 2 (0 self) – Add To MetaCart
-
An Exploration of Modular Programs
- the module systems of Standard ML and Haskell 1.3, two widely used functional languages, and a Haskell
- Cited by 2 (0 self) – Add To MetaCart
-
A Standard ML Compiler
- retargetable (we have code generators for the VAX and MC68020). The module facilities of Standard ML were taken
- Cited by 84 (14 self) – Add To MetaCart
-
Applicative Functors and Fully Transparent Higher-Order Modules
- ML module system where parameterized abstract types (i.e. functors returning generative types) map
- Cited by 92 (5 self) – Add To MetaCart
-
PROGRAM SPEClFICATION IN STANDARD ML AND DIWELOPMEN'I
- algebraic specification in the context of a programming language. Standard ML with modules is extended
- Add To MetaCart
-
Object-Oriented Programming and Standard ML
- to outline an encoding of classes with static inheritance as modules in Standard ML. It should be stressed
- Cited by 3 (0 self) – Add To MetaCart
-
Object-Oriented Programming and Standard ML
- static inheritance only, we represent a class by a module in Standard ML. In particular, non
- Add To MetaCart
-
Recursive Structures for Standard ML
- structures, Modules is used to express the overall architecture of a software system. In Standard ML, modular
- Cited by 41 (0 self) – Add To MetaCart

