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 ESOP 2019

Former member Paolo Giarusso presents the paper Incremental λ-Calculus in Cache-Transfer Style at the European Symposium on Programming (ESOP) 2019 in Prague, Czech Rebuplic.

Read more ...

Older news items are archived at the news page.

All News