List of All Events
-
2013.04.26. Lifting and Flattening of Typed ASTs Ed Amsden
-
2013.04.19. Compositional and Lightweight Dependent Type Inference for ML Suresh Jagannathan
-
2013.04.12. A Type and Effect System for Contract Monitoring Cameron Swords
-
2013.04.5. Boxing for Diamonds: Modal logic and its applications Zachary Sparks
-
2013.03.29. Enhancing work-stealing runtimes with concurrency Chris Zakian and Tim Zakian
-
2013.03.8. Linear Dependent Types For Differential Privacy Marco Gaboardi
-
2013.03.1. GPU Programming in Rust: Implementing High-level Abstractions in a Systems-level Language Eric Holk
-
2013.02.22. Having Fun in a Turing Tarpit Jason Hemann
-
2013.02.8. A case of Study in Language Based Information Flow Security: RDR Language Doaa Hassan
-
2013.02.1. Probabilistic programming and equational reasoning Chung-chieh Shan
subscribe via RSS