Personal tools

Types and Semantics for Programming Languages

29/05/2017 07:47:57, theon, Refresh, Feedback

Course Details

TitleTypes and Semantics for Programming Languages
School AcronymTSPL
Normal Year Taken4
Delivery PeriodS1
Exam/Work Weighting75% / 25%
School Course Page
University Course PageINFR11114

Staff and Groups

The following staff are associated with this course.

Course Lecturer(s)
P Wadler IF-5.31 505174
Teaching Support
Marker J Zalewski
Marker P Kokke
Teaching Assistant J Zalewski
Teaching Assistant P Kokke
Tutor P Wadler
Admin Support
Please use the ISS Contact Form to contact admin support

Lecture Times

Please see the Web Timetable link on the DRPS page.

Coursework Assignments

The following coursework is associated with this course:

Tag Title Type Assessed? Out of Worth
1 Assignment 1 Practical Yes 5 5%
2 Assignment 2 Practical Yes 5 5%
3 Assignment 3 Practical Yes 5 5%
4 Assignment 4 Practical Yes 5 5%
5 Assignment 5 Practical Yes 5 5%
mpe Mock Practical Exam Practical Yes 100 100%
pe Practical Exam Practical Yes 100 100%

Deadlines & Feedback

The following coursework deadlines are associated with this course:

Tag Deadline Outcome*
Submission Feedback
1 06/10/2016 27/10/2016 8 days early
2 20/10/2016 10/11/2016 8 days early
3 03/11/2016 24/11/2016 6 days early
4 17/11/2016 08/12/2016 8 days early
5 24/11/2016 15/12/2016 14 days early

*The Outcome will show the number of days early or late (from the "Feedback" deadline) that feedback, or marks and feedback, was distributed to the students.

University guidelines require Schools to provide feedback on all formative coursework assignments within three weeks of the submission deadline. If the marking deadlines for summative (for-credit) coursework given above exceed this period, the course involves very large amounts of marking and the course team has been given permission to advertise a longer marking period. Please contact for further information.