Blogs about: Plt
Featured Blog
Provably Correct Garbage Collection
Working towards my honors thesis, my partners and I have read several interesting papers on using type systems to prove correctness (safety) of garbage collection implementations: Type-Preserving Gar… more »
A Ham Sandwich
Whose that tripping over my bridge?
— 4 comments
marmiteandtea wrote 2 months ago: Last entry for PLT. I took this on Saturday on a lovely walk in Rock Creek Park. I I think a tr … more »
How to write secure C/C++ application code
Bipin Gautam Taksande wrote 3 months ago: Many flaws are exploitable because the address space of the vulnerable program has memory that is bo … more »
Provably Correct Garbage Collection
— 1 comment
csgordon wrote 8 months ago: Working towards my honors thesis, my partners and I have read several interesting papers on using ty … more »
Monads! (and Why Monad Tutorials Are All Awful)
— 9 comments
csgordon wrote 11 months ago: If you have an affinity for programming language theory (as I do), and wander around the internet se … more »
Have your say. Start a blog.
See our free features »
Copyright 2008 Automattic, Inc.
An 
Creation
