Archived tweet #5951 from the @leastfixedpoint Twitter Archive

@coreload @mwotton @robotlolita check out Jesse Tov's work on practical substructural functional programming: eecs.harvard.edu/~tov/pubs/alms/