Lectures – Advances in Programming Languages Skip to content Advances in Programming Languages APL 2018/19 Blog About Lectures Coursework Exam Feedback Staff Online Archive Lectures When Where 1610–1700 Monday LG.11 David Hume Tower 1610–1700 Thursday Gaddum Lecture Theatre 1 George Square APL lectures run 1610–1700 on Mondays and Thursdays throughout Semester 1, in alternating venues. To participate in the course you need to attend the lectures and carry out the homework set between them. If for any reason you are unable to be at a lecture then please email me on that day. Lecture Log Lecture slides will generally appear here as PDF before the lecture itself; after the lecture I’ll post a blog entry with video and references, then link to that instead. What’s So Important About Language? Terms and Types Parameterized Types and Polymorphism Coursework Assignment Topics Higher Polymorphism Higher Types Dependent Types Concurrency Concurrency Abstractions Some Other Programming-Language Approaches to Concurrency Cautionary Tales in Concurrency Specification and Verification Practical Tools for Java Correctness Separation Logic Certifying Correctness The Rust Programming Language Traits and References in Rust Concurrency and More in Rust Guest Lecture: Maria Gorinova on Probabilistic Programming Exam Preparation About Advances in Programming Languages is a taught course for undergraduates and MSc students at the University of Edinburgh. Find out more Links Piazza discussion group Facebook group Informatics Year 4 Handbook Informatics MSc Handbook School of Informatics University of Edinburgh Categories Announcements Lecture Log The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336 Blog posts RSS Comments RSS Log in Site Administration Copyright © 2022 Advances in Programming Languages. All rights reserved. Theme: ColorMag by ThemeGrill. Powered by WordPress.
