ACTIVITIES

• 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)