Erasable Dependent Typesplttype theory
Erasing runtime irrelevant information while retaining the verification of dependent types.
Row Polymorphism without the Jargontutorialstype theory
This obscure class of polymorphism acts as an interesting replacement for subtyping.
Introduction to Algebraic Data Typestutorialstype theory
What are Algebraic Data Types and what can we do with them?
Introduction to Type Theorytutorialstype theory
What is type theory and how is it used?
Teaching Computer Science Topicstutorials
Introductory articles without the jargon.
Reverse Engineering Super Smash Flashmodding
A new version of Super Smash Flash 2 has obfuscated some things!
Old toy languagespltcodegolf
I've made a lot of toy language projects, here's a list of them!
Escape Analysis Optimizationplt
Description of an algorithm to replace Heap Allocations with Stack Allocations.
Golfing with GolfScriptcodegolf
Getting started in CodeGolf with the GolfScript language.