Email Record: Formal semantics of programming languages /