leastfixedpoint

Archived tweet #8273 from the @leastfixedpoint Twitter Archive
RT @tiarkrompf: With applications to (co-)effects, capabilities, region-based memory... twitter.com/tiarkrompf/sta…