http://www.weaselhat.com/2014/10/28/space-efficient-manifest-contracts-popl15/ Tue, 28 Oct 2014 15:19:02 +0000 hourly 1 https://wordpress.org/?v=6.3.2