'''SML/NJ''' is a compiler and programming environment for Standard ML from Princeton University. Standard ML of New Jersey (wikipedia)