List of All Events

• 2014.11.14. An Introduction to Dependently Typed Racket Andrew Kent

• 2014.11.7. MACE: Detecting Privilege Escalation Vulnerabilities in Web Applications Prasad Naldurg

• 2014.10.31. Pycket: an implementation of Racket in RPython Spenser Bauman

• 2014.10.24. A Compiler for the Gradually-Typed Lambda Calculus Andre Kuhlenschmidt

• 2014.10.17. Design and evaluation of gradual typing for Python Michael Vitousek

• 2014.10.10. Region-based Memory Management for GPU Programming Languages: Enabling Rich Data Structures on a Spartan Host Eric Holk

• 2014.10.3. A Method for Proving Congruence of Bisimilarity in Nominal SOS Matteo Cimini

• 2014.09.26. Type-Directed Editing Ed Amsden

• 2014.09.19. Introduction to Topologically-Aware Load Balancing Chris Wailes

• 2014.09.12. Typed Clojure in Practice Ambrose Bonnaire-Sergeant

subscribe via RSS