leastfixedpoint

Archived tweet #7282 from the @leastfixedpoint Twitter Archive
@rogersm Of course, "Types and Programming Languages" (Benjamin C. Pierce) if you haven't already read it; and 3/4