List of All Events

• 2016.04.29. Two PLDI Practice Talks (see description) Buddhika Chamith and Andrew Kent

• 2016.04.22. Pycket Using Racket Bytecode Caner Derici

• 2016.04.15. Expressing Contract Monitoring Strategies for Call-by-Value and Call-by-Name Calculi Cameron Swords

• 2016.04.8. Purely Functional GPU Programming Mike Vollmer

• 2016.04.1. Co-dfns Compiler Architecture Aaron Hsu

• 2016.03.23. Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant

• 2016.03.10. A Reimplementation of microKanren Jason Hemann

• 2016.03.4. Strong Normalization for Chiastic Lambda-Calculi Wren Romano

• 2016.02.26. Generic Programming for the Masses Ryan Scott

• 2016.02.19. An Introduction to Model Theory Tori Lewis

subscribe via RSS