Erasable Dependent Types

August 11, 2021 plt type theory

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

Old toy languages

June 12, 2018 plt codegolf

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

Escape Analysis Optimization

December 4, 2017 plt

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