Programming Languages (PS)
Our research group is concerned with the design of programming languages, methodologies, and tools that improve the productivity of software developers.
Selected Research Projects
Effekt: Algebraic Effect Handlers
Uroboro: De- /Refunctionalization for Modularity
Older news items are archived at the news page.All News