... laboratory for foundations of computer science, recently set up with the aim of linking theoretical research with industrial. Although 'developed in Edinburgh, Standard ML would not have evolved without contributions from laboratories in ...