|
Type (Tut/Demo/Other ...): Tutor
Time in Year: first term weeks 2-9
Number of Posts: 6
Description:
What does the course cover: Standard ML programming, including modules,
and
Extended ML specification. See http://www.dcs.ed.ac.uk/~dts/fps
What special skills are needed: A fair degree of experience with SML,
including the module language, and either some familiarity with EML
or some exposure to formal methods and a willingness to learn basic
EML.
Total Hours: 1 contact hour and 1 hour preparation per week,
plus marking three items of coursework.
Contact: Don Sannella (dts@dcs.ed.ac.uk)
Apply: By emailing tutor-applications@inf.ed.ac.uk
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Logging and Cookies Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |
