List of All Events

• 2024.04.29. A Computer Science Perspective on the Foundations of Quantum Computing Amr Sabry

• 2024.04.25. Tensor Implementations in Malt (A Deep Learning Toolkit) Darshal Shetty

• 2024.02.7. Rhombus, a New Racket Language Without Parentheses Sam Tobin-Hochstadt

• 2024.01.24. The Holy Grail of Gradual Security Tianyu Chen

• 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