- ADATE System
- Information on Automatic Design of Algorithms Through Evolution system includes publications, sources and releases, user manual, and code examples.
- The Alcool 90 Experiment
- Discussion on the results of an ongoing experimental extension of ML with run-time overloading. Research considers the features of the language and its environment.
- Concurrent ML
- Standard ML extension provides reference manual, FAQs, talk slides, and links to related sites.
- DML
- Defines DML as a Dependent Meta-Language that is a conservative extension of the functional programming language ML. Provides sample codes and other researches.
- Edinburgh Concurrency Workbench
- Implementation tool explores, verifies and describes concurrent systems. Contains documentations, examples, and related links.
- ERESI Reverse Engineering Software Interface
- Presents binary analysis framework such as ELF Shell, Debugger, and Tracer designed for Executable and Linking Format-based operating systems. With manuals and notes, articles, and version release.
- Extended ML
- Supplies answers to FAQs regarding the programming language. Offers a list of downloadable documents for further reference.
- Hardcore Processing: SDL::ML
- Descriptions and instructions in using Standard ML programming language bindings for the SDL library. Includes package release.
- Isabelle
- Generic theorem proving system's compatible with ML language environment. With installation instructions, screenshot, releases, manuals, tutorials and FAQs.
- ML Server Pages
- Web-based scripting integrates Standard ML and Hypertext Markup Languages. Provides script sources, examples and implementation instructions.
- MLRISC Overview
- Standard ML-written back-end optimizer contains overview, system, and basic type documents with releases.
- MLton
- Brief information about MLton and its features, documentation, developers and frequently asked questions.
- MONA Project
- Translation tool converts formulas and finite-state automata. Includes demonstrations, change history, and publications.
- Moscow ML
- Details the light-weight implementation of Standard ML. List of downloadable source files and documentation supplied for added information.
- Open Source Release of MLj
- Features a short summary about the SML compiler with other references of ML implementations. Offers online demos and downloadable versions.
- Poly/ML
- Supports FAQs answered by researchers. Offers versions 4 and 5 release notes, documents, manuals and tutorials.
- Princeton University: The Theory and Practice of Data Description
- Thesis elaborates on architecture and implementation of PADS/ML language.
- Standard ML of New Jersey
- Presents background of SML of the free open source software. Supplies access to latest downloadable versions for Unix or Windows.
- The TILT Compiler
- Features a rundown on the self-checking compiler. Versions 1.0 and 1.1 available for downloading.
- The TILT Compiler Project
- Highlights the abilities and purpose of the compiler. Provides links to other papers related to TILT.
- Venari Project
- Software support to access, retrieve, and store semantic-based objects using Standard ML programming implementation. Provides numerous postscript versions of research papers.
|