List of All Events

• 2023.11.29. An Introduction to Step-Indexed Logical Relations via Type Safety for STLC + fix Jeremy Siek

• 2023.10.13. One Weird Trick to Untie Landin's Knot Paulette Koronkevich

• 2017.11.3. Futures in Racket; now and tomorrow Sarah Spall

• 2017.10.27. Felt: Multilingual Literate Racket Programming Without Weaving David Christiansen

• 2017.10.27. Building high performance DSL's in Racket Rajan Walia

• 2017.10.27. A Favorite Thing from Dyalog '17 Aaron Hsu

• 2017.10.20. Pony: A Brief Programming Language Overview! Andrew Kent

• 2017.10.16. Midwest Programming Languages Summit Jeremy Siek

• 2017.10.13. Monadic Composition for Deterministic, Parallel Batch Processing Ryan Scott

• 2017.09.29. Normalization by Evaluation David Christiansen

subscribe via RSS