Personal tools
  •  

Types and Semantics for Programming Languages

17/11/2017 07:46:26, theon, Refresh, Feedback

Course Details

TitleTypes and Semantics for Programming Languages
School AcronymTSPL
Level11
Points10
Normal Year Taken4
Delivery PeriodS1
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/tspl
University Course PageINFR11114

Staff and Groups

The following staff are associated with this course. Please use the authenticated links below to access full group membership information, including group times, venue information and mailing lists:
Tutorial Groups

Course Lecturer(s)
NameEmailOfficePhone
P Wadler Philip.Wadler@ed.ac.uk IF-5.31 505174
Teaching Support
Marker P Kokke
Marker R Horn
Teaching Assistant P Kokke
Tutor D Hillerström
Tutor P Kokke
Tutor P Wadler
Tutor R Horn
Admin Support
Please use the ISS Contact Form to contact admin support
NONE ALLOCATED