============================================================================ S-REPLS 14 South of England Regional Programming Language Seminar series Jane Street London, 2 & A Half Devonshire Square, Premier Place, London EC2M 4UJ Fri 8 March 2024 ============================================================================ S-REPLS is a series of informal meetings for people in the South of England interested in the principles, design and implementation of programming languages. Events take place approximately thrice yearly, organised by members of the community. Attendance at S-REPLS 14 is free and lunch will be provided. Due to security concerns and planning needs all attendees need to register. Please RSVP here: https://docs.google.com/forms/d/e/1FAIpQLSeODsd6ZXNi58hTBBP1oMOLkjgkZK40QdKX... https://docs.google.com/forms/d/e/1FAIpQLSeODsd6ZXNi58hTBBP1oMOLkjgkZK40QdKX... Schedule below. Talk abstracts and further details can be found on the S-REPLS 14 website: https://www.cl.cam.ac.uk/events/s-repls14/ https://www.cl.cam.ac.uk/events/s-repls14/ 0900 Arrival and breakfast 1000 Keynote: Graded types and Algebraic Effects Dominic Orchard (University of Kent and University of Cambridge) 1100 Break 1130 Automatically Finding Upper and Lower Time Complexity Bounds for Parallel Evaluation Carsten Fuhs (Birkbeck, University of London) 1200 Somewhat Dynamic Build Systems Neil Mitchell (Meta) 1230 Lunch 1330 The Dafny Programming Language and Static Verifier Stefan Zetzsche (Amazon) 1400 Implementing a Dependently Typed Language Modelling Algebraic Equivalences Zhiyi Liu (University of Cambridge) 1430 Programming with First-class Constructor Contexts Anton Lorenzen (University of Edinburgh) 1500 Break 1530 Finding cheaper straightline instruction sequences more cheaply Maria A Schett 1600 Starlark: between configuration and programming language Stiopa Koltsov (Meta) 1630 Ill-Typed programs don’t evaluate Charlie Walpole (University of Bristol)