Practical Foundations for Programming Languages

Author — Robert Harper