Title: Subtyping versus Subeffecting (thesis defense)
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
and subeffecting as extensions to a polyvariant analysis on a polymorphic