PLDI 2013 :: Programming Language Design and Implementation