Advances in Programming Languages — Informatics UG4 — The
University of Edinburgh — 2009–2010 University Homepage School Homepage School Contacts School Search Advances in Programming Languages 2009–2010 Note: This page refers to a past version of the course. You can also consult the current APL course web pages. This is a level 10 course in the School of Informatics, suitable for 4th year undergraduate students. The course surveys recent developments in programming language design and implementation with an emphasis on technological advances on the state of the art. For further details see the course descriptor. News: From Thursday 13 January lectures will be in Appleton Tower room 2.11, not 2.14. Lectures: Mondays and Thursdays at 9am through Semester 2, in room 2.11 of the Appleton Tower. The APL blog carries information about the content of the lectures, homework, references and further discussion of background material. Links: Appleton Tower; Map; Seminar Room 2.11; Blog Contact: The course lecturers are David Aspinall and Ian Stark. The most effective way to contact either of the lecturers is by personal email, from your University email address. However, many questions are better posed on the APL blog. Coursework: Each lecture specifies additional reading and exercises on the topics covered. This homework is not assessed, but it is essential for those wishing to fully participate in the course. In additional, there is a substantial piece of written coursework which contributes 20% of students' course grade. This requires investigation of a topic in programming languages and writing a 10-page report. Links:Assignment details; Slides presenting topics. Blog: The course has its own blog carrying announcements about lecture content, updates to the web page, homework, and coursework. Some homework exercises may require contributing your own comments to the blog; you can also use comments to ask questions about the course, and respond to the questions of others. Previous Years: The web pages for previous incarnations of the course include slides, reading material, and a lecture log. Exam papers and solutions from previous years are also available. Links: 2008–2009; 2007–2008; Past exam papers. Slides: Lecture 1: What's so important about language? Lecture 2: Coursework assignment topics Lecture 3: Hoare logic Lecture 4: JML - The Java Modeling Language Lecture 5: ESC/Java 2 - The Java Extended Static Checker Lecture 6: Certifying Correctness Lecture 7: Haskell, Types and Classes Lecture 8: Multiparameter Type Classes, Constructor Classes Lecture 9: Monads and I/O Lecture 10: State Transformers Lecture 12: Coursework Review Lecture 11: Concurrency in Java Lecture 13: Concurrency abstractions Lecture 14: Further language concurrency Lecture 15: Guest lecture from Andrew Richards, Codeplay Lecture 16: Strong Opinions & The Erlang Language Guest lecture from Andrew Birkett Lecture 17: Using SQL from Java Lecture 18: Bridging Query and Programming Languages Lecture 19: Heterogeneous Metaprogramming in F# Lecture 20: Type-Checking for SQLizability Home : Teaching : Courses : Apl 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
