Blogs about: Type Systems
Featured Blog
Typing the Stack, and Why Tag-Free Garbage Collection Doesn't Quite Work
One of the most significant barriers to implementing a completely safe garbage collector lies with collecting the stack. Heap datastructures are relatively easy to walk — that is to say, that on… more →
A Ham Sandwich
Typing the Stack, and Why Tag-Free Garbage Collection Doesn't Quite Work
csgordon wrote 2 years ago: One of the most significant barriers to implementing a completely safe garbage collector lies with c … more →
Provably Correct Garbage Collection
— 1 comment
csgordon wrote 2 years ago: Working towards my honors thesis, my partners and I have read several interesting papers on using ty … more →
