Practical Foundations for Programming Languages

GPTKB entity