WE HAVE CHANGED! Home | Search | Help  
Home Page Università di Genova
The Department
Library and services
Events and seminars
  DISI -> Research -> Areas -> Programming languages

Research area: Programming languages

This is a list of current research topics. Click on a topic title to view a description.

Computational reflection
Design and foundations of modular and object-oriented languages and systems
Logic and category theory
Synthetic domain theory
Foundations and calculi for meta-programming and staging
Monadic metalanguages and computational effects