Heriot-Watt University, Edinburgh
Dependable Systems Group - parallelising compilation of SML, formal verification, Glasgow Parallel Haskell

No queries for www.macs.hw.ac.uk/~dsg