Blog posts tagged withplt Programming Language Theory
Erasable Dependent Types
Erasing runtime 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.