Introductions

Abstract Binding Trees (Part 1)

I’ve been thinking a bit about abstract binding trees lately because of a slackbot I wrote to as a prank. (I might be bad at pranks.) Abstract binding trees (ABTs) are a fundamental idea in Robert Harper’s Practical Foundations of Programming Languages book. One of the most common things I’ve heard from people that try…

Read More