Lost your password?

Blogs about: Type Systems

Featured Blog

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 →

Tags: Compilers, Garbage collection, Programming languages

Provably Correct Garbage Collection1 comment

csgordon wrote 2 years ago: Working towards my honors thesis, my partners and I have read several interesting papers on using ty … more →

Tags: projects, Papers, CS, PLT, Garbage collection, safe code


Have your say. Start a blog.

See our free features →

Related Tags
All →

Follow this tag via RSS