leastfixedpoint

Archived tweet #3894 from the @leastfixedpoint Twitter Archive
David Van Horn on Abstracting Abstract Machines: vimeo.com/16539100 (Just the first minute is a great summary) (cc @zooko)