Date: Wed 06 Nov
Time: 15.00
Place: room 214

Speaker: E. Moggi
Title: A categorical account of two-level languages

Abstract. We give an account of two-level languages in terms of indexed categories and universal properties well-known in the context of categorical logic. This account provides three important insights: establishes precise analogies between two-level languages and module languages, explains the two-level languages used in partial evaluation (see [GJ91]) in terms of those used for code generation (see [NN92]), suggests extensions that should be valuable in the context of type-specialization and shape analysis (see [Hug96] and [BM97]).