Jadon.io
Blog posts tagged with plt.
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.