leastfixedpoint

Archived tweet #7280 from the @leastfixedpoint Twitter Archive
@rogersm No single paper. The difficulties typing OO & dist sys are closely related, almost the same problems. 1/2