Searching for "Standard ML language." – sorted by Relevance.
-
Moscow ML Owner's Manual
- implements a subset of the Standard ML Core language as defined in the Definition of Standard ML [6], except
- Add To MetaCart
-
Type Inference for MLj
- is an extension of the Standard ML language which allows interoperation with Java. It has a type system which
- Add To MetaCart
-
Chapter 13
- is an extension of the Standard ML language which allows interoperation with Java. It has a type system which
- Add To MetaCart
-
Mixin Modules
- to span module boundaries. Mixin modules are proposed specifically for the Standard ML language. Several
- Cited by 47 (1 self) – Add To MetaCart
-
An Implementation of Standard ML Modules
- implementation of Standard ML modules, we need to review the main elements of the module language
- Cited by 27 (3 self) – Add To MetaCart
-
Performance modelling in PEPA with higher-order functions
- programming language, Standard ML. Together, this language combination provides greatly improved support than
- Add To MetaCart
-
Dynamic ML without Dynamic Types
- Abstract We describe a variant of the Standard ML programming language which incorporates a facility
- Add To MetaCart
-
A separate compilation extension to Standard ML (working draft
- Pittsburgh, PA 15213 Abstract This is a proposal for an extension to the Standard ML programming language
- Cited by 3 (0 self) – Add To MetaCart
-
Dynamic ML without Dynamic Types
- Abstract We describe a variant of the Standard ML programming language which incorporates a facility
- Cited by 22 (0 self) – Add To MetaCart
-
Reasoning with the Formal Definition of Standard ML in HOL
- of the Standard ML Core language into the HOL mechanized reasoning system. HOL theories of the Core syntax
- Cited by 18 (0 self) – Add To MetaCart

