Pieter Hartel

• Programming Languages: Implementations, Logics, and Programs