Jadon.io

Blog posts tagged with plt.
Programming Language Theory.

Erasable Dependent Types

plttype theory

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


Old toy languages

pltcodegolf

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.