Scottish Programming Languages Seminar
Time and Place
Wednesday, 22 July 2020, 13:00 - 18:00,
Stirling University online
Please register on this
if you haven't done so already.
The talks will be live streamed on Youtube.
Audience Q&A will be handled via Slido.
Links to the Youtube stream and the Slido event will be distributed
via the SPLS mailing list and Zulip chat the night before the meeting.
Please contact the organiser by email if you would like to attend
but aren't subscribed to the mailing list.
13:00 — 13:30 WELCOME
13:30 — 14:30 SESSION 1: Programming Language Design and Compilers
Michel Steuwer (Glasgow)
Achieving High-Performance the Functional Way — Expressing High-Performance Optimizations as Rewrite Strategies
Sam Lindley (Heriot-Watt)
The Virtues of Semi-Explicit Polymorphism
14:30 — 15:00 BREAK
15:00 — 16:00 SESSION 2: Types and Semantics
Jesse Sigal (Edinburgh)
Automatic Differentiation via Effects and Handlers
Wen Kokke (Heriot-Watt, Edinburgh)
Robustness as a Refinement Type
16:00 — 16:30 BREAK
16:30 — 17:15 SESSION 3: Dependent Types
Bob Atkey (Strathclyde)
Resource Constrained Programming with Full Dependent Types
17:15 — 18:00 CLOSING/PUB
General information about SPLS is available from the
For information about this event, please contact