Sponsorzy katalogu:
Centrum Rezerwacji Hoteli. Internetowy system umozliwiający dokonanie rezerwacji z natychmiastowym potwierdzeniem w ponad 500 hotelach w całej Polsce. Hotele Warszawa, hotele w Krakowie, Poznaniu, Wrocławiu i wielu innych mistach w Polsce po bardzo konkurencyjnych cenach.
Centralny System Rezerwacji Online oferuje rezerwację hoteli w całej Polsce po bezkonkurencyjnych cenach. Odwiedź www.hotele.pl i rezerwuj hotele w Polsce po super cenach !
System rezerwacji hoteli w Polsce. Szybka i intuicyjna rezerwacja, bezpieczna płatność online kartami kredytowymi i przelewami. Rezerwuj hotele w całej Polsce. W ofercie kilkaset hoteli, zarówno tych luksusowych, jak i tanich hoteli turystycznych.
| | |
Tytuł strony: The Alcool-90 Experiment
Opis strony: Experimental ML extension with run-time overloading and type-based notion of modules, functors and inheritance. Large HTML text document.
Adres: http://pauillac.inria.fr/~rouaix/papers/AlcoolExperiment/plan.html
Tytuł strony: Dependent ML: DML
Opis strony: 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.
Adres: http://www.cs.bu.edu/~hwxi/DML/DML.html
Tytuł strony: Extended ML
Opis strony: EML is a framework for specification and formal development of Standard ML programs. Description, publications, tool support, education resources.
Adres: http://homepages.inf.ed.ac.uk/dts/eml/
Tytuł strony: ML Kit
Opis strony: Standard ML compiler.
Adres: http://www.it-c.dk/research/mlkit/
Tytuł strony: MLRISC
Opis strony: 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.
Adres: http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/
Tytuł strony: MLton
Opis strony: Whole program optimizing compiler for Standard ML.
Adres: http://mlton.org/
Tytuł strony: Moscow ML
Opis strony: ML system for DOS, Linux, Windows.
Adres: http://www.dina.kvl.dk/~sestoft/mosml.html
Tytuł strony: Open Source Release of MLj
Opis strony: SML to Java bytecode compiler, based on Persimmon's MLj.
Adres: http://www.dcs.ed.ac.uk/home/mlj/
Tytuł strony: Poly/ML
Opis strony: Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [Open Source]
Adres: http://www.polyml.org/
Tytuł strony: Standard ML of New Jersey
Opis strony: 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]
Adres: http://www.smlnj.org/
Tytuł strony: TILT
Opis strony: 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.
Adres: http://www.cs.cornell.edu/info/people/jgm/tilt.html
Tytuł strony: TILT Compiler
Opis strony: 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.
Adres: http://www.tilt.cs.cmu.edu/
Cytat dnia:
Człowiek potrzebuje do szczęścia trzech rzeczy: dobrych przyjaciół do towarzystwa, dobrego wina do picia i dobrych książek do czytania.
|
Search the Implementations category
Powered by the Free PHP ODP Script
Serwery