leastfixedpoint

Archived tweet #1718 from the @leastfixedpoint Twitter Archive
@asynchronaut indeed: http://www.sigops.org/sosp/sosp09/papers/baumann-sosp09.pdf