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
subscribe via RSS