• 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.
  • 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.
  • 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]
  • 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.

Inter CAFFE

31 korisnika prisutno: 0 registrovanih i 31 senkica. Ulogovani: Nema
Filigranska kapija od stihova - Dejan Milenković
16.08.2019 22:52, tragalac@Umetnost
Muzika, tekst - moja omiljena pesma
14.06.2019 08:02, Sammir@Umetnost
Potrosacko drustvo iz vizure jednog potrosaca
14.06.2019 08:00, Sammir@Posao
Vicevi - Mujo, Haso, Lala, Sosa, plavuse i ostali
14.06.2019 07:53, Sammir@Opušteno
Dobro došli - predstavite se
14.06.2019 07:51, Sammir@Opušteno
Poezija - najlepsi stihovi
16.04.2019 08:23, tragalac@Umetnost
Preporuke za citanje - preporucite knjigu, zanimljivo stivo
18.03.2019 10:58, solium@Umetnost
Miroslav Mika Antic - neki pesnik iz Mokrina
12.03.2019 23:11, Maxa@Umetnost

Vesti

Vučić s Majom Pavlović: Pomoći ćemo da se reši problem

Sudar kod Kraljeva: Povređeno petoro mladih, dve devojke u teškom stanju

Ne zna se sudbina četiri hiljade Srba nestalih u ratovima devedesetih

Država povećala vlasnički udeo u Aerodromu "Nikola Tesla"

Nacrtana akcija Partizana: "Bukvalno me je pogodio u čelo" VIDEO

Hodžaj: Taksama usloviti Beograd za povlačenje priznanja

Lajčak: Realnost Kosova je da nije priznato od pet članica EU; Srbija ne bi trebala da potpisuje ugovor sa Evroazijskom unijom

Naslovi.net, 30.8.2019 13:22

Virtuelne razglednice

za rodjendan, godišnjicu braka, srećnu slavu, ženidbu, udaju, položen vozački, prijem u radni odnos...