TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of Computers, Programming, Languages, ML, Implementations.

See also:

http://pauillac.inria.fr/~rouaix/papers/AlcoolExperiment/plan.html

» The Alcool-90 Experiment - Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.

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

» Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

» ML Kit - Standard ML compiler.

http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/

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

» MLton - Whole program optimizing compiler for Standard ML.

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

» Moscow ML - ML system for DOS, Linux, Windows.

» Open Source Release of MLj - SML to Java bytecode compiler, based on Persimmon's MLj.

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

» 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]

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

» TILT - 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.

» TILT Compiler - 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.

Usenet comp.lang.functional - news: - Google Groups
Usenet comp.lang.ml - news: - Google Groups

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of Computers, Programming, Languages, ML, Implementations.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.