Loading...
Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.
56203 resources
Whole program optimizing compiler for Standard ML.
SML to Java bytecode compiler, based on Persimmon's MLj.
Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Source, Lucent]
TIL-Two compiler; goal: make compiler for ML-family languages (SML'97, Caml Special Light, KML) that uses types throughout compiling to emit better code without losing safety or correctness; joint effort with Carnegie Mellon. Descriptions, papers, people, links. Cornell.
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.