Feb 4
Towards a Principled Multi-Language Infrastructure
Feb 11
Resource-Aware Languages
Feb 18
Haven - Scalable Vector Graphics for Haskell with GCJNI and Java2D
Feb 25
Programming Language Support for Software Components
(Host: Carsten Schürmann)
April 8
Flattening Combinators: Surviving Without Parentheses
April 29 [last week of Spring term]
Reductions, intersection types, and explicit substitutions
(Host: Walid Taha)
May 6
The latest in Hatware: a portable toolset for tracing Haskell programs
May 20
Combining Higher-Order Abstract Syntax with Tactical Theorem Proving and Co-Induction
(Host: Carsten Schürmann)
June 3
Toward a unified account of typed multi-stage languages
(Host: Walid Taha)
Friday, June 14
Tagless Staged Interpreters for Typed Languages
(Host: Walid Taha)