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 topic

Research topic: Foundations and calculi for meta-programming and staging


Types, Program modules, Dynamic linking, Meta-programming, Multi-stage programming, Categorical Semantics


  • categorical and denotational semantics of two- and multi-level languages with staging constructs
  • type systems for multi-stage programming languages (statically) detecting errors due to the interactions between symbolic evaluation, execution of generated code, and computational effects (collaboration with QMW College London, Yale University, Oregon Graduate Institute)
  • calculi with staging constructs supporting fine-grained control of temporal aspects of computations (separate compilation and linking of code fragments, and execution of dynamically generated code) in a variety of object languages (collaboration with University of Florence and Pisa)


Eugenio Moggi