The EmBounded Project
Home Page for the EmBounded Project
Embedded Systems, Resource Modelling, Global Computing, Hume, Functional Languages
Click here to enter
http://www-fp.cs.st-and.ac.uk/embounded/