Hume Language – Other Resources

Hume Forum: A mailing list for developers & users of the Hume programming language.
The EmBounded Project: A project to identify, quantify and certify resource-bounded code in Hume, using formal models of resource consumption as a basis.
Heriot-Watt Hume Language Website: Information about Hume activity at Heriot-Watt University within the Dependable Systems Group.
Dependable Systems Group: The research aims and objectives of the group at Heriot-Watt are to improve the reliability and predictability of computer systems through the development and application of rigorous design, implementation and verification techniques.
Functional Programming Group: The research group for functional programming at the University of St Andrews.

Other Sites

Hume Programming Language: On WikiPedia
Hume Programming Language: On the Literate Programs Wiki
Functional Programming for Embedded Systems: School of Informatics, Budapest University of Technology and Economics

This page was last modified on Friday 25 May 2007 12:23:59. This site is maintained by Robert Rothenberg (r r at cs dot st - andrews dot ac dot uk).