Concurrent ML
Standard ML extension provides reference manual, FAQs, talk slides, and links to related sites. Unclaimed: Claim this business
Concurrent ML
Standard ML extension provides reference manual, FAQs, talk slides, and links to related sites. Unclaimed: Claim this business
Edinburgh Concurrency Workbench
Implementation tool explores, verifies and describes concurrent systems. Contains documentations, examples, and related links. Unclaimed: Claim this business
Edinburgh Concurrency Workbench
Implementation tool explores, verifies and describes concurrent systems. Contains documentations, examples, and related links. Unclaimed: Claim this business
Extended ML
Supplies answers to FAQs regarding the programming language. Offers a list of downloadable documents for further reference. Unclaimed: Claim this business
Extended ML
Supplies answers to FAQs regarding the programming language. Offers a list of downloadable documents for further reference. Unclaimed: Claim this business
Hardcore Processing: SDL::ML
Descriptions and instructions in using Standard ML programming language bindings for the SDL library. Includes package release. Unclaimed: Claim this business
Hardcore Processing: SDL::ML
Descriptions and instructions in using Standard ML programming language bindings for the SDL library. Includes package release. Unclaimed: Claim this business
Isabelle
Generic theorem proving system's compatible with ML language environment. With installation instructions, screenshot, releases, manuals, tutorials and FAQs. Unclaimed: Claim this business
Isabelle
Generic theorem proving system's compatible with ML language environment. With installation instructions, screenshot, releases, manuals, tutorials and FAQs. Unclaimed: Claim this business
MLton
Brief information about MLton and its features, documentation, developers and frequently asked questions. Unclaimed: Claim this business
MLton
Brief information about MLton and its features, documentation, developers and frequently asked questions. Unclaimed: Claim this business
MONA Project
Translation tool converts formulas and finite-state automata. Includes demonstrations, change history, and publications. Unclaimed: Claim this business
MONA Project
Translation tool converts formulas and finite-state automata. Includes demonstrations, change history, and publications. Unclaimed: Claim this business
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. Unclaimed: Claim this business
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. Unclaimed: Claim this business
Poly/ML
Supports FAQs answered by researchers. Offers versions 4 and 5 release notes, documents, manuals and tutorials. Unclaimed: Claim this business
Poly/ML
Supports FAQs answered by researchers. Offers versions 4 and 5 release notes, documents, manuals and tutorials. Unclaimed: Claim this business
Princeton University: The Theory and Practice of Data Description
Thesis elaborates on architecture and implementation of PADS/ML language. Unclaimed: Claim this business
Princeton University: The Theory and Practice of Data Description
Thesis elaborates on architecture and implementation of PADS/ML language. Unclaimed: Claim this business
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. Unclaimed: Claim this business
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. Unclaimed: Claim this business
The TILT Compiler Project
Highlights the abilities and purpose of the compiler. Provides links to other papers related to TILT. Unclaimed: Claim this business
The TILT Compiler Project
Highlights the abilities and purpose of the compiler. Provides links to other papers related to TILT. Unclaimed: Claim this business
Venari Project
Software support to access, retrieve, and store semantic-based objects using Standard ML programming implementation. Provides numerous postscript versions of research papers. Unclaimed: Claim this business
Venari Project
Software support to access, retrieve, and store semantic-based objects using Standard ML programming implementation. Provides numerous postscript versions of research papers. Unclaimed: Claim this business
Recent Activity on Best of the Web
-
New Listing
Jhb Removals
Piano Moving Service
Jhb Removals: Your trusted moving company in Centurion, Pretoria. Specializing in furniture removals for residential and office relocations. Reliable and…
-
Recent Review
-
New Listing
Sembley Inc
Insurance Software
Sembley is a modern, cloud-based platform that streamlines insurance submissions and renewals with simple intakes that populate complete applications.
Why Best of the Web?
Best of the Web has verified and listed millions of businesses since 1994, adapting our model to new technologies and new digital marketing requirements as the decades have rolled by. We remain the most trusted online directory around, and the go-to choice for a quality business directory listing which drives results.
