eric_rollins.home.mindspring.com
Multi-Core Ant Colony Optimization for TSP in Erlang
http://eric_rollins.home.mindspring.com/erlangAnt.html
Multi-Core Ant Colony Optimization for TSP in Erlang. This is a continuation of Parallel Ant Colony Optimization for TSP in Standard ML. And Multi-Core Ant Colony Optimization for TSP in Haskell. See first page for Ant Colony and TSP problem description. Here the program has been rewritten in the programming language Erlang. Are created using the spawn(). Command, and messages. Are sent with the! Command and received with receive(). Unlike CSP and Concurrent ML. Language ( Concurrent Programming in ML.
einfo.com
Links
https://www.einfo.com/links.html
Wavelets, Multiscale, Multiresolution, Fractional Phenomena. Lucent Technologies: Bell Labs Innovations: Mathematical Sciences Research). SML (Standard Meta Language) and Objective Caml have been the most used ML dialects. SML97 is a mature, stable computer language for symbolic calculations. It has a formal, published syntax specification, just as Pascal programs do. As SML has gone as far as it can go without redesign. The new effort is currently being called Successor ML. Standard ML of New Jersey.
en.wikipedia.org
Standard ML - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Standard_ML
From Wikipedia, the free encyclopedia. Is a general-purpose, modular. With compile-time type checking. It is popular among compiler. Writers and programming language researchers. As well as in the development of theorem provers. SML is a modern descendant of the ML programming language. Used in the Logic for Computable Functions. LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules. In The Definition of Standard ML. Is on...
alaska-kamtchatka.blogspot.com
Alaska Ataca a Kamtchatka: OCaml and typeful programming: an annotated bibliography (of sorts)
http://alaska-kamtchatka.blogspot.com/2008/03/ocaml-and-typeful-programming-annotated.html
Alaska Ataca a Kamtchatka. Under the spell of Dijkstra's dream. OCaml and typeful programming: an annotated bibliography (of sorts). SML is as amenable as OCaml to these techniques, and some are more standard in the former than in the latter; in particular, MLton. So, for the record, here's a list of pointers (I dare not call this an "annotated bibliography") to some of the "tricks", for easy retrieval and study. Private rows: abstracting the unnamed. Simple Type Inference for Structural Polymorphism.
elsman.com
Getting Started With Smackage
http://www.elsman.com/lessons/2014/10/02/getting-started-with-smackage
Getting Started With Smackage. Is a package management tool for Standard ML libraries and source code. It is useful, in particular, for maintaining a stable collection of Standard ML libraries on your machine, based on the versioned dependency specifications, provided by library and application providers. Based on semantic versioning. Is now here to help library maintainers and package builders. To get started with Smackage, you first and foremost need a version of the. Which was created when. The get co...
nolacoaster.livejournal.com
BlogFace.org
http://nolacoaster.livejournal.com/tag/nerds
April 13th, 2010. Well, I'm no longer using Livejournal to run my blogs. I'm over at Blogger now. If you get to this page by typing in www.blogface.org. Then you never should have gotten here in the first place, you should have been redirected to my new site. But, on the offhand chance you don't, well now you know. RSS users can subscribed to the feed, feed.blogface.org. And I guarantee that this will forever point to my blog's feed, even if I move it again. April 11th, 2010. And a list of nouns (cloth-r...
thebreakfastpost.com
Four MLs (and a Python) | The Breakfast Post
https://thebreakfastpost.com/2015/04/22/four-mls-and-a-python
Four MLs (and a Python). I wrote a small command-line text processing program in four different ML-derived languages, to try to get a feel for how they compare in terms of syntax, library, and build-run cycles. Is a family of functional programming languages that have grown up during the past 40 years and more, with strong static typing, type inference, and eager evaluation. I tried out Standard ML. All compiling and running from a shell prompt on Linux. The job was to write a utility that:. I’ve i...
