Archived tweet #1697 from the @leastfixedpoint Twitter Archive

@LH I'm not sure I understand you here. However, you might be interested in http://www.ccs.neu.edu/scheme/pubs/icfp10-thf.pdf