Date: 2008-11-27 Time: 11:45 Room: BBL room 471 ----+++ Speaker: Guangyu Zhang ----+++ Title: Subtyping versus Subeffecting (thesis defense) ----+++ Abstract Binding time analysis is an important program analysis mainly used in partial evaluation. It determines which part in a program is static, that is its value is computable at compile time and which part is dynamic. Different techniques have been described for implementing the analysis. In this thesis, I will specify and implement different variants of binding time analysis. Among these, the focus will be on the comparison of subtyping and subeffecting as extensions to a polyvariant analysis on a polymorphic language.