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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… (More)
  • figure 4.2
  • figure 4.5
  • figure 4.8
  • figure 5.5
  • figure 5.16
Is this relevant?
1996
1996
This paper describes the design and implementation of an interface to C for the SML/NJ ML compiler. The interface supplies ML… (More)
  • figure 1
  • figure 2
  • figure 6
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We describe a new compiler for Standard ML called TIL, that is based on four technologies: intensional polymorphism, tag-free… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
1994
1994
The design and implementation of an incremental recompilation manager (IRM) for Standard ML of New Jersey (SML/NJ) is described… (More)
Is this relevant?
1994
1994
The design and implementation of a compilation manager (CM) for Standard ML of New Jersey (SML/NJ) is described. Truly… (More)
Is this relevant?
1994
1994
We describe a method of measuring lifetime characteristics of heap objects, and discuss ways in which such quantitative object… (More)
  • figure 1
  • table 2
  • table 5
  • figure 4
  • figure 5
Is this relevant?
1993
1993
We have built a portable platform for running Standard ML of New Jersey programs on multiprocessors. It can be used to implement… (More)
  • figure 2
  • figure 6
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The Standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete… (More)
  • figure 1
  • figure 2
Is this relevant?
1990
1990
We describe the design, implementation and use of a mechanism for handling asynchronous signals, such as user interrupts, in the… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
  • figure 7
Is this relevant?