leastfixedpoint
~tonyg
Projects
Blog
Contact
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ā¦