Programming Langauge Society

University of Southampton

Formal Autograding in a Classroom

Dragana Milovančević - 6th March 2024

Object to Objects: Game Development in Haskell

Jess Foster - 7th February 2024

Simple Dependent Types in Architecture Specification Languages

Alastair Reid - 10th January 2024

How Did We Get Here? A Brief History of Programming Languages

Nick Gibbins - 5th October 2023

< Back to Home