Blog posts tagged withplt Programming Language Theory
Erasable Dependent Types
Erasing runtime irrelevant information while retaining the verification of dependent types.
Escape Analysis Optimization
Description of an algorithm to replace Heap Allocations with Stack Allocations.