Poly/ML is an extremely fast and efficient implementation of Standard ML and provides several additional features. There is a foreign language interface which allows dynamically linked libraries to be loaded and functions within them called from ML. An X-Windows interface using Motif is available and a symbolic debugger for Poly/ML.
DocumentationManual here, http://www.polyml.org/docs/poly/polymanual.html
released on 2 June 2008
|License||Verified by||Verified on||Notes|
|LGPLv2.1orlater||Deborah Nicholson||25 June 2008|
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 25 June 2008.