| ML Kit |
| Main Page - MLKit |
| http://www.it-c.dk/research/mlkit/ |
| Standard ML compiler. |
| |
| Main Page |
| standard, region, available, download, compiler, system, garbage, documentation, changes, programs, library, compiles, modules, collection, programming, source, distributed, smlserver, memory, region, license, generates, runtime, released, implementation, related, functions, source, applications, ma chine, binary, distributions, reference, tracing, allocation, compile, memory, scheme, provided, bac kends, operating, bytecode, exploit, distributions, native, possibility, disabling, allocating, conv entions, calling, duration |
| (SLD : it-c.dk) |
|
| zum Seitenanfang ↑ |
| MLRISC |
| MLRISC |
| http://cs1.cs.nyu.edu/leunga/www/MLRISC/Doc/html/ |
| 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. |
| |
| |
| mlrisc, optimizations, system, system, instruction, optimizing, george, contributors, source, librar y, requirements, client, defined, mltree, overview, register, machine, investment, difficult, compil er, architectures, language, successfully, retargeted, languages, customizable, allowing, components , compilers, customized, semantics, multiple, imposed, written, special, standard, execution, differ ent, elegantly, perspective, available, report, useful, incomplete, document, generated, mltex2html, leunga, slinky, modified, latter |
nyu.edu - rank der domain 3705 (1390 in US)
|
|
| zum Seitenanfang ↑ |
| MLton |
| Home - MLton Standard ML Compiler (SML Compiler) |
| http://mlton.org/ |
| Whole program optimizing compiler for Standard ML. |
| |
| |
| compiler, standard, maintained, contact, development, download, developers, involved, delete, attach file, actions, preferences, rename, matthewfluet, edited, features, source, program, 833377, urchint racker, optimizing, compiler, documentation, please, 20100608, release |
| (SLD : mlton.org) |
|
| zum Seitenanfang ↑ |
| Computers/Programming/Languages/ML/Implementations |
|
|
| Computers/Programming/Languages/ML/Implementations |
| zum Seitenanfang ↑ |
| Moscow ML |
| |
| http://www.dina.kvl.dk/~sestoft/mosml.html |
| ML system for DOS, Linux, Windows. |
| |
| |
| |
kvl.dk - rank der domain 986101 (3978 in DK)
|
|
| zum Seitenanfang ↑ |
| Open Source Release of MLj |
| MLj 0.2 |
| http://www.dcs.ed.ac.uk/home/mlj/ |
| SML to Java bytecode compiler, based on Persimmon's MLj. |
| MLj: an SML to Java bytecode compiler |
| SML, Java, Standard ML, compiler, JVM,
functional language, MLJ, MLj |
| language, standard, compiler, changes, improvements, significant, extensions, working, discussion, p roduces, release, runtime, microsoft, common, coverage, libraries, object, languages, support, bette r, oriented, targeted, please, suggestions, comments, microsystems, trademark, archive, takers, some one, download, online, codebase, windows, computer, compiled, virtual, machine, development, interna l, snapshot, version, standalone, compact, compiles, functor, bytecodes, source, subset, interlangua ge, straightforward |
| (SLD : ac.uk) |
|
| zum Seitenanfang ↑ |
| Poly/ML |
| Poly/ML Home Page |
| http://www.polyml.org/ |
| Standard ML full implementation: compiler and environment, has libraries for MS Windows, X Window. [ Open Source] |
| |
| |
| available, matthews, mailing, released, edinburgh, university, updated, source, implementation, stan dard, version, latest |
| (SLD : polyml.org) |
|
| zum Seitenanfang ↑ |
| Standard ML of New Jersey |
| Standard ML of New Jersey |
| http://www.smlnj.org/ |
| SML/NJ is a compiler and programming environment for SML, with associated libraries, tools, document s. Descriptions, news, downloads (Unix, Windows), literature lists, FAQs, links, contacts. [Open Sou rce, Lucent] |
| The Standard ML of New Jersey
compiler and programming system |
| ML, SML, SML/NJ, Standard ML, functional programming |
| available, version, working, standard, windows, recent, jersey, programming, tracker, installing, re lated, announced, resources, version, material, access, subversion, repository, release, national, f oundation, libraries, science, gforge, source, software, compiler, reported, online, record, express ed, reporting, necessarily, report, reports, author, submit, legacy, compilation, features, manager, special, comparison, environment, concurrent, history, reflect, compiler, mlrisc, interface, foreig n |
| (SLD : smlnj.org) |
|
| zum Seitenanfang ↑ |
| Dependent ML: DML |
| Home Page for DML |
| http://www.cs.bu.edu/~hwxi/DML/DML.html |
| 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. |
| |
| |
| dependent, bibtex, programming, hongwei, proceedings, examples, example, datatype, implementation, f ollowing, function, practical, already, languages, distribution, please, january, implementation, un documented, various, familiar, antonio, workshop, aspects, symposium, notice, september, readily, wi thtype, pfenning, standard, termination, dependent, compiler, program, language, system, active, pri nciples, development, through, checking, through, conference, eliminating, international, declarativ e, elimination, conservative, extension, slides |
bu.edu - rank der domain 8232 (3098 in US)
|
|
| zum Seitenanfang ↑ |
| Computers/Programming/Languages/ML/Implementations |
|
|
| Computers/Programming/Languages/ML/Implementations |
| zum Seitenanfang ↑ |
| TILT Compiler |
| The TILT Compiler |
| http://www.tilt.cs.cmu.edu/ |
| Self-checking Standard ML compiler, uses Typed Intermediate Languages; while compiling, types are tr anslated with code, type-checking occurs to check compile results; funded by NSF. Descriptions, lice nse, mail list, downloads, links. Carnegie Mellon. |
| TILT Compiler Home Page |
| Computer Science, Programming
Languages, Standard ML, Certifying Compilation, Typed Intermediate
Lan guages, TILT |
| software, version, distribution, source, compilation, compiler, project, standard, notice, developer s, pfenning, executables, compiler, software, mellon, libraries, harper, carnegie, written, robert, checking, principal, investigators, copyright, permission, without, copies, parallel, copyright, not ice, mailman, released, running, architectures, compiled, mailing, report, language, languages, adva nced, systems, cornell, backend, software, dissemination, f196268, contracts, funded, supports, nati onal, incremental |
cmu.edu - rank der domain 6080 (2241 in US)
|
|
| zum Seitenanfang ↑ |
| TILT |
| TILT |
| http://www.cs.cornell.edu/info/people/jgm/tilt.html |
| 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 eff ort with Carnegie Mellon. Descriptions, papers, people, links. Cornell. |
| |
| |
| compiler, harper, morrisett, project, compiler, languages, compilation, robert, report, technical, p rogramming, intermediate, advantage, produce, working, project, appears, cornell, proofs, stages, ta rditi, principles, network, compiling, symposium, safety, related, correctness, version, important, maintained, efficient, automatically, compile, safety, through, systems, yasuhiko, minamide, convers ion, closure, support, software, workshop, optimizing, semantics, gzipped, postscript, september, me mory, management |
cornell.edu - rank der domain 2824 (1091 in US)
|
|
| zum Seitenanfang ↑ |
| Extended ML |
| Extended ML |
| http://homepages.inf.ed.ac.uk/dts/eml/ |
| EML is a framework for specification and formal development of Standard ML programs. Description, pu blications, tool support, education resources. |
| |
| |
| specification, development, extended, sannella, program, tarlecki, computer, formal, programs, scien ce, course, springer, edinburgh, version, formal, introduction, university, workshop, definition, co mputing, programming, support, system, gentle, specifications, foundations, laboratory, theoretical, module, contact, report, programming, modules, specification, foundations, languages, workshops, re search, framework, number, semantics, algebraic, extended, available, further, reading, binaries, wo rking, programmer, should, subsequent |
| (SLD : ac.uk) |
|
| zum Seitenanfang ↑ |
|
