Email Record: The formal semantics of programming languages :