Programming Languages

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

Computational Thinking

Effekt: Algebraic Effect Handlers

Uroboro: De- /Refunctionalization for Modularity

Recent News

Presentation at the Symposium on Principles of Programming Languages 2020

Ingo Skupin
Researcher
Ingo Skupin
presents the paper Decomposition Diversity with Symmetric Data and Codata at the Symposium on Principles of Programming Languages in New Orleans (USA).

Read more ...

Older news items are archived at the news page.

All News