Home |  Add URL  
Web Pages
Yellow Pages
White Pages
Submit Site
Search Web

Total Results : 20

mGTK
Glue code to make GTK+ accessible from SML. This allows SML programmers to add graphical user interfaces to their programs.
http://mgtk.sourceforge.net/

Moscow ML
ML system for DOS, Linux, Windows.
http://www.dina.kvl.dk/~sestoft/mosml.html

Open-source release of MLj
MLj: an SML to Java bytecode compiler, based on Persimmon's MLj
http://www.dcs.ed.ac.uk/home/mlj/

MLton
A whole-program optimizing compiler for the Standard ML programming language.
http://www.mlton.org/

Poly/ML
Compiler and environment for, full implementation of, Standard ML, has libraries for MS Windows, X Window. [Open Source]
http://www.polyml.org/



Standard ML of New Jersey (SML/NJ)
A compiler and programming environment for Standard ML language, with associated libraries, tools, documents. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. [Open Source, Lucent]
http://www.smlnj.org/


ML Kit
A compiler for the programming language Standard ML.
http://www.it-c.dk/research/mlkit/

MLRISC
Framework for customizable, retargetable and optimizing compiler back ends, written in Standard ML. Successfully retargeted to multiple architectures. Deals elegantly with special requirements imposed by the execution model of different high-level, typed languages.
http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/

Fellowship of Hobbyist Programmers: ML
Wiki page outlining basics of SML and ways in which it is superior to many other languages.
http://www.hprog.org/fhp/MlLanguage

Edinburgh LFCS ML-Club
A club for ML users at the University of Edinburgh
http://www.dcs.ed.ac.uk/home/tpcc/ML-Club/index.html

Programming in Standard ML
These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer
http://www-2.cs.cmu.edu/People/rwh/introsml/

sml_tk
A Standard ML package providing a portable, typed and abstract interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML.
http://www.informatik.uni-bremen.de/~cxl/sml_tk/

fxp
A validating XML parser written completely in SML.
http://www.informatik.uni-trier.de/~aberlea/Fxp/

Standard ML vs. Objective Caml
A quick comparison of program fragments in the two ML dialects.
http://www.ps.uni-sb.de/~rossberg/SMLvsOcaml.html


Group 25's ML Tutorial
Introduction and 1-4 lectures ML tutorial.
http://www.rpi.edu/~nguyev2/prog_lang/

LEDA Extension Packages
Data types and algorithms (number types and linear algebra, basic data types, dictionaries, graphs, geometry, graphics).
http://www.algorithmic-solutions.com/enlepsMitte.htm




Result Pages : 1