Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,984,606 papers from all fields of science
Search
Sign In
Create Free Account
Standard ML of New Jersey
Known as:
SML/NJ
, Standard ML of NJ
, Smlnj
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Andrew Appel
Compiler
Concurrent ML
Continuation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Frequency-based accounts of SLA
N. Ellis
2011
Corpus ID: 149318727
ion is possible unless it has a foundation in the form of some series of material elements, and these are the elements one must…
Expand
Review
2005
Review
2005
Culture and Personal Epistemology: U.S. and Middle Eastern Students’ beliefs about Scientific Knowledge and Knowing
S. Karabenick
,
Samira M. Moosa
2005
Corpus ID: 39581842
Middle Eastern (Omani) and Western (U.S.) students’ beliefs about knowledge and knowing in the sciences were compared on four…
Expand
Review
2001
Review
2001
Notes on Programming Standard ML of New Jersey (version 110.0.6)
Riccardo Pucella
2001
Corpus ID: 61660223
Preface The impetus behind these notes was the desire to provide a cohesive description of Standard ML of New Jersey, an…
Expand
2000
2000
A Generalized Let-Polymorphic Type Inference Algorithm
Ropas Memo
,
Oukseh Lee
,
K. Yi
2000
Corpus ID: 118966738
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with…
Expand
1996
1996
A Portable C Interface for Standard ML of New Jersey
L. Huelsbergen
1996
Corpus ID: 14063238
This paper describes the design and implementation of an interface to C for the SML/NJ ML compiler. The interface supplies ML…
Expand
1994
1994
Characterization of object behaviour in Standard ML of New Jersey
D. Stefanovic
,
J. Moss
LFP '94
1994
Corpus ID: 3029249
We describe a method of measuring lifetime characteristics of heap objects, and discuss ways in which such quantitative object…
Expand
1994
1994
A Compilation Manager for Standard ML of New Jersey
R. Harper
,
F. Pfenning
,
Peter Lee
,
Eugene J. Rollins
1994
Corpus ID: 14521824
The design and implementation of a compilation manager (CM) for Standard ML of New Jersey (SML/NJ) is described. Truly…
Expand
1994
1994
A note on data access patterns in Standard ML of New Jersey
Darko Stefanovi
1994
Corpus ID: 59855590
Thermosetting low temperature cure latex coating compositions are prepared by emulsion polymerization in aqueous medium from non…
Expand
1992
1992
A Portable Multiprocessor Interface for Standard ML of New Jersey
J. G. Morrisett
,
A. Tolmach
1992
Corpus ID: 60804476
We have designed a portable interface between shared-memory multiprocessors and Standard ML of New Jersey. The interface is based…
Expand
1992
1992
Frontiers of mathematical psychology : essays in honor of Clyde Coombs
C. Coombs
,
Donald R. Brown
,
K. Smith
1992
Corpus ID: 143487205
Contents: From Indices to Mappings: The Representational Approach to Measurement.- Social Dilemmas, Economic Self-Interest, and…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE