Default avatar

Jadon Fowler

Blog posts tagged withplt Programming Language Theory

Erasable Dependent Types

plt type theory

Erasing runtime irrelevant information while retaining the verification of dependent types.


Old toy languages

plt codegolf

I've made a lot of toy language projects, here's a list of them!


Escape Analysis Optimization

plt

Description of an algorithm to replace Heap Allocations with Stack Allocations.