This category holds links on all possible implementations of ML, existing and proposed. Caml@ (3) Objective Caml@ (25) 1. 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. 2. The Alcool-90 Experiment - Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document. 3. 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. 4. Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources. 5. ML Kit - Standard ML compiler. 6. MLton - Whole program optimizing compiler for Standard ML. 7. Moscow ML - ML system for DOS, Linux, Windows. 8. Open Source Release of MLj - SML to Java bytecode compiler, based on Persimmon's MLj. 9. Poly/ML - Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source] 10. 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]

Help build the largest human-edited directory on the web. Submit a Site - Update a Site - Open Directory Project - Become an Editor

© 2008 Chamas Enterprises Inc.