The Definition of Standard ML, Revised Edition by Robin Milner;Mads Tofte;Robert Harper;David MacQueen

Author:Robin Milner;Mads Tofte;Robert Harper;David MacQueen [MacQueen, Robin Milner;Mads Tofte;Robert Harper;David]
Language: eng
Format: epub
Published: 2011-01-25T19:02:00+00:00

Comments:

(134), (137) Any evaluation resulting in FAIL must do so because rule 134, rule 137, rule 145, or rule 147 has been applied.

Pattern Rows

Comments:

(141),(142) For well-typed programs lab will be in the domain of r.

Patterns

Comments:

(145),(147) Any evaluation resulting in FAIL must do so because rule 134, rule 137, rule 145, or rule 147 has been applied.

7.1 Reduced Syntax

Since signature expressions are mostly dealt with in the static semantics, the dynamic semantics need only take limited account of them. However, they cannot be ignored completely; the reason is that an explicit signature ascription plays the role of restricting the "view" of a structure - that is, restricting the domains of its component environments and imposing identifier status on value identifiers. The syntax is therefore reduced by the following transformations (in addition to those for the Core), for the purpose of the dynamic semantics of Modules:

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.