Wectar - Computers - Programming - Languages - ML - Implementations

	submit a site to this category

Subcategories
Caml@	Objective Caml@	Operating Systems@

	Poly/ML URL: http://www.polyml.org/ ODP description: Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source] Page title: Poly/ML Home Page
	TILT Compiler URL: http://www.tilt.cs.cmu.edu/ ODP description: 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. Page title: The TILT Compiler Page description: TILT Compiler Home Page
	MLRISC URL: http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/ ODP description: 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.
	Open Source Release of MLj URL: http://www.dcs.ed.ac.uk/home/mlj/ ODP description: SML to Java bytecode compiler, based on Persimmon's MLj. Page title: MLj 0.2 Page description: MLj: an SML to Java bytecode compiler
	The Alcool-90 Experiment URL: http://pauillac.inria.fr/~rouaix/papers/AlcoolExperiment/plan.html ODP description: Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document. Page title: The Alcool--90 Experiment
	Standard ML of New Jersey URL: http://www.smlnj.org/ ODP description: 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] Page description: The Standard ML of New Jersey compiler and programming system
	TILT URL: http://www.cs.cornell.edu/info/people/jgm/tilt.html ODP description: 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.
	MLton URL: http://mlton.org/ ODP description: Whole program optimizing compiler for Standard ML. Page title: Home - MLton Standard ML Compiler (SML Compiler)
	ML Kit URL: http://www.it-c.dk/research/mlkit/ ODP description: Standard ML compiler. Page title: Main Page - MLKit
	Dependent ML: DML URL: http://www.cs.bu.edu/~hwxi/DML/DML.html ODP description: 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. Page title: Home Page for DML
	Extended ML URL: http://homepages.inf.ed.ac.uk/dts/eml/ ODP description: EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
	Moscow ML URL: http://www.dina.kvl.dk/~sestoft/mosml.html ODP description: ML system for DOS, Linux, Windows. Page title: Moscow ML Home Page