http://www.weaselhat.com Wed, 03 Mar 2010 16:06:40 +0000 http://backend.userland.com/rss092 en http://www.weaselhat.com/2010/03/03/nested-functions-in-gcc/ http://www.weaselhat.com/2010/02/12/type-theory-comes-of-age/ http://www.weaselhat.com/2010/01/22/popl-2010/ http://www.weaselhat.com/2009/11/03/contracts-made-manifest-final-version/ http://www.weaselhat.com/2009/09/24/llvm-ocaml-loca/ http://www.weaselhat.com/2009/08/18/phpenkoder-1-6/ http://www.weaselhat.com/2009/08/13/flapjax-2/ http://www.weaselhat.com/2009/07/30/contracts-made-manifest/ http://www.weaselhat.com/2009/05/31/gravatar/ http://www.weaselhat.com/2009/05/23/phpenkoder-15/