… This thesis extends functional programming languages with aspect-oriented features,
primarily to explore aspect-oriented enforcement of security policies. First, this thesis
examines an aspect-oriented implementation of the Java security mechanism, which requires
the security advice to be triggered by functions with diverse types. I present a new language,
AspectML, that allows type-safe polymorphic advice using pointcuts constructed from a
collection of polymorphic join points. I then compare my AspectML implementation of the Java …