Poly ML

From Free Software Directory
Revision as of 11:48, 3 March 2017 by Alejandroindependiente (talk | contribs)

(diff) ← Older revision | Approved revision (diff) | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


[edit]

Poly/ML

http://www.polyml.org/
The Poly/ML implementation of Standard ML

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.



Download

https://github.com/polyml/polyml/archive/v4.1.4.tar.gz




Categories





Licensing

License

Verified by

Verified on

Notes

License

LGPLv2.1orlater

Verified by

Deborah Nicholson

Verified on

25 June 2008




Leaders and contributors

Contact(s)Role
David Matthews Developer


Resources and communication

AudienceResource typeURI
SupportHomepagehttp://www.polyml.org/support.html


Software prerequisites




Entry 






















































				
Permission is granted to copy, distribute and/or modify this document
				under the terms of the GNU Free Documentation License, Version 1.3 or
				any later version published by the Free Software Foundation; with no
				Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
				copy of the license is included in the page “GNU Free
				Documentation License”.


				
The copyright and license notices on this page only apply to the
				text on this page.  Any software or copyright-licenses or other
				similar notices described in this text has its own copyright notice
				and license, which can usually be found in the distribution or license
				text itself. 


				

									

						Retrieved from "https://directory.fsf.org/wiki?title=Poly_ML&oldid=44873"