ODP - Open Directory Project

"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."

Computers: Programming: Languages: ML: Implementations:

See also:

The Alcool-90 Experiment - Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document..

Dependent ML: DML - Conservative ML extension, has type system to enrich ML with restricted form of dependent types, to allow many interesting program properties: memory safety, termination can be captured in type system and thus be verified while compiling. Description, code samples, downloads..

Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources..

ML Kit - Standard ML compiler..

MLRISC - Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to many architectures. Deals elegantly with special requirements imposed by execution model of different high-level, typed languages..

MLton - Whole program optimizing compiler for Standard ML..

Moscow ML - ML system for DOS, Linux, Windows..

Open Source Release of MLj - SML to Java bytecode compiler, based on Persimmon's MLj..

Poly/ML - Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source].

Standard ML of New Jersey - 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].

TILT - 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..

TILT Compiler - Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are translated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, license, mail list, downloads, links. Carnegie Mellon..

Usenet comp.lang.functional - news: - Google Groups
Usenet comp.lang.ml - news: - Google Groups

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor

Venue Communications, Inc. Toll Free: 866-836-8301 Direct: 910-538-6731 Web Site: www.venuecom.com

ODP - Open Directory Project

"The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors."