Blog posts tagged with plt.
Programming Language Theory.

Erasable Dependent Types
Erasing irrelevant information while retaining the verification of dependent types.
Old toy languages
I've made a lot of toy language projects, here's a list of them!
Escape Analysis Optimization
Description of an algorithm to replace Heap Allocations with Stack Allocations.