List of All Events

• 2011.01.21. Kanor: A Declarative Language for Explicit Communication Eric Holk

• 2010.12.10. J-Bob Daniel Friedman

• 2010.12.3. Concepts in C++ Larisse Voufo

• 2010.11.19. Programming with Isomorphisms Roshan P. James

• 2010.11.12. Implementation of the Nanopass Framework Andrew Keep

• 2010.11.4. Wild control operators Chris Barker

• 2010.10.29. Semantics of Homogeneous Language Embeddings Abhishek Kulkarni

• 2010.10.22. Kanor: A Declarative Language for Explicit Communication Eric Holk

• 2010.10.15. An Equivalence-Preserving CPS Translation via Multi-Language Semantics Amal Ahmed

• 2010.10.8. Testing specifications of CPU semantics, or, what I did on my summer vacation Lindsey Kuper