5 ms·Also Practical Foundations for Programming Languages by Harper.by whateverboat 3mo agoAlso Practical Foundations for Programming Languages by Harper.