Verifying information flow and metaprogramming in dynamically typed languages (University of Oxford, 2015)

(untitled) - Lester, M