Directory Top sites directory
Arts Business Computers Games News Health Recreation Regional Science Shopping

Directory web directory open directory project

Whatever you are looking for in Computers, Programming, Languages, ML, Implementations, you can probably find it here. Actidir offers a large collection of annotated links to Computers, Programming, Languages, ML, Implementations sites organized by category. Browse thousands of web sites that are more focused on one particular aspect of Computers, Programming, Languages, ML, Implementations with just the click of your mouse.

Cheap Hotels - Cheap Hotels Reservation. Discount Hotel Reservations worldwide. Find discount hotels, cheap hotels, luxury hotels, lodging and motels at cheap prices.
OOHotels - Discount and cheap hotels worldwide. Hotel rates and lodging reservations at cheap prices.
Hotels Booking - Booking discount hotels worldwide. Book over 90 000 hotels worldwide with our online hotel reservations service.

Top: 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.

    http://www.cs.bu.edu/~hwxi/DML/DML.html   » 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.

    http://homepages.inf.ed.ac.uk/dts/eml/   » Extended ML - EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.

    http://www.it-c.dk/research/mlkit/   » 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.

    http://mlton.org/   » MLton - Whole program optimizing compiler for Standard ML.

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

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

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

    http://www.smlnj.org/   » 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.

    http://www.tilt.cs.cmu.edu/   » 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.

OOHotels | Locations Vacances | Hotels | Cheap Hotels | Hotels Booking
The Open Directory Project is the largest, most comprehensive human-edited directory of the Web. It is constructed and maintained by a vast, global community of volunteer editors. The Open Directory is the most widely distributed data base of Web content classified by humans.
Help build the largest human-edited directory on the web.
Soumettre un site - Open Directory Project - Devenir Editeur

Copyright © ActiDir