leastfixedpoint

Archived tweet #4828 from the @leastfixedpoint Twitter Archive
@reiddraper Highly recommended: (p108 of) Types and Programming Languages, Benjamin C. Pierce. Good refs there.