Practical Foundations for Programming Languages

Robert Harper