 |
|
|
|
 |
egories |
 |
 |
New Addition |
 |
|
|
 |
Details: |
 |
|
OS based on ML language. Goal: Advance the art of programming language design and implementation, while applying principles of programming languages to advance the art of systems building. Project work: theoretical studies of languages and their traits, developing new compiler and run-time technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs.
Sponsored Links:
|
| URL: |
http://www-2.cs.cmu.edu/~fox/
|
| Title: |
The Fox Project |
| Description: |
The Fox Project. Fox Project Home Page |
| Specialized in: |
|
|
 |
|
 |
mGTK (Popularity: ): Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
Moscow ML (Popularity: ): ML system for DOS, Linux, Windows.
Open-source release of MLj (Popularity: ): MLj: an SML to Java bytecode compiler, based on Persimmon's MLj
MLton (Popularity: ): A whole-program optimizing compiler for the Standard ML programming language.
Poly/ML (Popularity: ): Compiler and environment for, full implementation of, Standard ML, has libraries for MS Windows, X Window. [Open Source]
Programming in Standard ML 97 (Popularity: ): An on-line tutorial by Stephen Gilmore.
A Gentle Introduction to ML (Popularity: ): a tutorial for the Standard ML language.
Standard ML of New Jersey (SML/NJ) (Popularity: ): A compiler and programming environment for Standard ML language, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature ...
Comp.Lang.ML FAQ: Monthly Posting (Popularity: ): A compiler and programming environment for Standard ML language, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature ...
ML Kit (Popularity: ): A compiler for the programming language Standard ML.
|
 |
Popular Sites |
 |
Programming in Standard ML 97 (Popularity: ): An on-line tutorial by Stephen Gilmore.
Objective Label (Popularity: ): Extension of Objective Caml with labeled and optional parameters, and polymorphic variants and methods
ML Kit (Popularity: ): A compiler for the programming language Standard ML.
Moscow ML (Popularity: ): ML system for DOS, Linux, Windows.
A Gentle Introduction to ML (Popularity: ): a tutorial for the Standard ML language.
|
 |
Related Press |
 |
 |
Related Articles |
 |
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|