YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname.    Price: USD 49.900,-    Phone: +49(176)74919078
     
     
www.yurtseven.org
 www.yurtseven.org
 

 
 Computers » Programming » Languages » ML » Implementations


 Categories

Caml (3) Objective Caml (22) Operating Systems

 Web Pages    1 - 10   of   12


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]

http://www.smlnj.org/

[more pages from this URL] 


Whole program optimizing compiler for Standard ML.

http://mlton.org/

[more pages from this URL] 


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

http://www.polyml.org/

[more pages from this URL] 


 4 - Extended ML Browse Website open in new window
EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

http://homepages.inf.ed.ac.uk/dts/eml/

[more pages from this URL] 


Standard ML compiler.

http://www.it-c.dk/research/mlkit/

[more pages from this URL] 


 6 - Moscow ML Browse Website open in new window
ML system for DOS, Linux, Windows.

http://www.dina.kvl.dk/~sestoft/mosml.html

[more pages from this URL] 


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

http://www.cs.bu.edu/~hwxi/DML/DML.html

[more pages from this URL] 


SML to Java bytecode compiler, based on Persimmon's MLj.

http://www.dcs.ed.ac.uk/home/mlj/

[more pages from this URL] 


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, peo...

http://www.cs.cornell.edu/info/people/jgm/tilt.html

[more pages from this URL] 


 10 - TILT Compiler Browse Website open in new window
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.

http://www.tilt.cs.cmu.edu/

[more pages from this URL] 




1  2  Next »»




Easy Web Admin


Add URL  |  My Listings  |  My Account  |  New Membership  |  Contact