List of All Events

• 2023.12.13. Exact Recursive Probabilistic Programming Chung-Chieh Shan

• 2023.12.6. Universe Hierarchies and (Generalized) Universe Polymorphism Carlo Angiuli

• 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

subscribe via RSS