MRG home page · Research · Publications · Projects · Software · People



We do a lot of development using PolyML, an excellent implementation of Standard ML. This page is an overview of our work with PolyML, and the resources we build on.

Our ML related Projects

We also keep a list of code and libraries for Standard ML.
Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the Lucas Dixon
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.