Standard ML of New Jersey
- Standard ML of New Jersey
-
Standard ML of New Jersey (ou SML/NJ) est un compilateur et un environnement de développement pour Standard ML. Il fut à l'origine développé conjointement par les laboratoires Bell et l'université de Princeton.
Fonctionnalités
SML/NJ intègre un certain nombre de nouvelles fonctionnalités par rapport à Standard ML, dont voici une liste non exhaustive :
Voir aussi
Liens externes
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Standard ML of New Jersey de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Standard ML of New Jersey — (abbreviated 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… … Wikipedia
Standard ML of New Jersey — Standard ML of New Jersey, abgekürzt SML/NJ, ist eine frei verfügbare Implementierung der funktionalen Programmiersprache Standard ML 97. In SML/NJ ist ein Compilation and Library Manager (CM) integriert, der eine modulare Softwareentwicklung… … Deutsch Wikipedia
Standard Oil Co. \(New Jersey\) — [ stændəd ɔɪl kʌmpənɪ njuː dʒəːzɪ], früherer Name der Exxon Corp … Universal-Lexikon
Standard Oil of New Jersey — ExxonMobil Logo de ExxonMobil Création 1999 (fusion) Dates clés 1882: Création de la Standard Oil Trust 1911 … Wikipédia en Français
New Jersey Chamber of Commerce — The New Jersey Chamber of Commerce is an independent business advocacy organization based in Trenton. It represents the interests of many businesses and trade associations. It supports programs and initiatives that help grow the economy and… … Wikipedia
New Jersey Transit Rail Operations — New Jersey Transit Rail Operations … Wikipedia
New Jersey v. T. L. O. — New Jersey v. T. L. O. (underage) Supreme Court of the United States Argued March 28, 1984 Reargued … Wikipedia
New Jersey Transit Police Department — Common name New Jersey Transit Police Abbreviation NJTPD … Wikipedia
New Jersey Route 31 — New Jersey Route 30 redirects here. For the current highway called Route 30, see U.S. Route 30. This article is about the current New Jersey Route 31. For the former Route 31, see New Jersey Route 31 (pre 1953). Route 31 … Wikipedia
New Jersey Lottery — Commission Agency overview Formed 1970 Jurisdiction New Jersey Headquarters … Wikipedia
