HARPER, R., AND STONE, C. A type-theoretic semantics for Standard ML 1996.  Home/Search   Document Not in Database   Summary   Related Articles

....The exported variables xe must be defined within the unit. The scope of a defined variable includes all of the definition expressions e in the unit as well as the initialization expression e. In each definition val x e, the expression ev must be valuable in the sense of Harper and Stone [14] with the restriction that imported and defined variable names are not considered valuable. The intent of this restriction is that evaluating the expression terminates, does not incur any computational effects (divergence, printing, etc. and does not refer to variables whose values may still ....

....a unit expression to a shared library that is managed by the operating system. Although the only kind in this language is l l, we declare kinds ex plicitly in anticipation of future work that handles type constructors and polymorphism. sig[iI , el, bl ] sig[i, e, b] F I e: r t r t Figure 14: Subtyping and subsumption in UNITe signatures types of a unit s imports and exports describes the kinds and types of its exports. In a sig form, as in a unit form, types in either imports or exports can be used in the type expressions within the signature. The type expression r is the type of ....

[Article contains additional citation context not shown here]

HARPER, R., AND STONE, C. A type-theoretic semantics for Standard ML 1996.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC