Archived tweet #11115 from the @leastfixedpoint Twitter Archive

@dustyweb If you've not seen it already, Takikawa et al.'s POPL 2016 paper sheds a lot of light on this. dl.acm.org/citation.cfm?i…