#Languages

Media

Revisiting pattern match overlap checks in Haskell

Lecture by Simon Peyton Jones

READ MORE

What you needa know about Yoneda

Lecture by Jeremy Gibbons

READ MORE

Gleam: Lean BEAM typing machine

Lecture by Louis Pilfold

READ MORE

Data pipelines à la mode

Lecture by Tom Hall

READ MORE

Abstract data types in the region of abysmal pain, and how to navigate them

Lecture by Zainab Ali

READ MORE

Can you make that smaller? An introduction to test-case reduction

Lecture by David MacIver

READ MORE

Purescript on the BEAM; typed OTP for greatness

Lecture by Rob Ashton

READ MORE

Quantitative program reasoning in Granule via graded modal types

Lecture by Dominic Orchard

READ MORE

Convincing your manager to let you try Rust

Lecture by John Feminella

READ MORE

Correctness proofs of distributed systems with Isabelle

Lecture by Martin Kleppmann

READ MORE

SimGen - a new simulation language

Lecture by Anne Ogborn

READ MORE
BACK TO ALL MEDIA