Skip to search formSkip to main contentSkip to account menu

Standard ML of New Jersey

Known as: SML/NJ, Standard ML of NJ, Smlnj 
Standard ML of New Jersey (SML/NJ) is a compiler and programming environment for Standard ML. Aside from its runtime system, which is written in C… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
ion is possible unless it has a foundation in the form of some series of material elements, and these are the elements one must… 
Review
2005
Review
2005
Middle Eastern (Omani) and Western (U.S.) students’ beliefs about knowledge and knowing in the sciences were compared on four… 
Review
2001
Review
2001
Preface The impetus behind these notes was the desire to provide a cohesive description of Standard ML of New Jersey, an… 
2000
2000
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with… 
1996
1996
This paper describes the design and implementation of an interface to C for the SML/NJ ML compiler. The interface supplies ML… 
1994
1994
We describe a method of measuring lifetime characteristics of heap objects, and discuss ways in which such quantitative object… 
1994
1994
The design and implementation of a compilation manager (CM) for Standard ML of New Jersey (SML/NJ) is described. Truly… 
1994
1994
Thermosetting low temperature cure latex coating compositions are prepared by emulsion polymerization in aqueous medium from non… 
1992
1992
We have designed a portable interface between shared-memory multiprocessors and Standard ML of New Jersey. The interface is based… 
1992
1992
Contents: From Indices to Mappings: The Representational Approach to Measurement.- Social Dilemmas, Economic Self-Interest, and…