Information:  - The Ivy League is a collegiate athletic conference comprising sports teams from eight private institutions of higher education in the Northeastern United States. The conference name is also commonly used to refer to those eight schools as a group beyond the sports context. The eight institutions are Brown University, Columbia University, Cornell University, Dartmouth College, Harvard University, the University of Pennsylvania, Princeton University, and Yale University. The term "Ivy League" has connotations of academic excellence, selectivity in admissions, and social elitism.  - 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 , SML / NJ is written in Standard ML. It was developed jointly by Bell Laboratories and Princeton University . Its name is a reference both to the state in which Princeton and Bell Labs are located and to Standard Oil of New Jersey , the famous oil monopoly of the early 20th century .  - Princeton is a municipality with a borough form of government in Mercer County, New Jersey, United States, that was established in its current form on January 1, 2013, through the consolidation of the Borough of Princeton and Princeton Township. As of the 2010 United States Census, the municipality's population was 28,572, reflecting the former township's population of 16,265, along with the 12,307 in the former borough.  - Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.  - Princeton University is a private Ivy League research university in Princeton, New Jersey, United States.  - Type inference refers to the automatic deduction of the data type of an expression in a programming language. If some, but not all, type annotations are already present, it is termed type reconstruction.  - A runtime system, also called run-time system, primarily implements portions of an execution model. This is in contrast to the runtime lifecycle phase of a program, during which the runtime system is in operation. Most languages have some form of runtime system, which implements control over the order in which work that was specified in terms of the language gets performed. Over the years, the meaning of the term 'runtime system' has been expanded to include nearly any behaviors that are dynamically determined during execution.  - A compiler is a computer program (or a set of programs) that transforms source code written in a programming language (the source language) into another computer language (the target language), with the latter often having a binary form known as object code. The most common reason for converting source code is to create an executable program.    Given the information, choose the subject and object entities that have the relation of 'instance of'.
Answer:
standard ml of new jersey , programming language