On the Type Structure of Standard ML


Standard ML is a useful programming language with a polymorphic type system and a flexible module facility. One notable feature of the core expression language of ML is that it is implicdy typed: no explicit type information need be supplied by the programmer. In contrast, the module language of ML is explicitly typed; in particular, the types of parameters… (More)
DOI: 10.1145/169701.169696


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.


Citations per Year

129 Citations

Semantic Scholar estimates that this publication has 129 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics