Standard ML and the community around it has been pretty impressive as far as contributions to memory management literature goes. There is of course the paper y

Standard ML and the community around it has been pretty impressive as far as contributions to memory management literature goes. There is of course the paper you linked, and there's also the MLKit which was among the first users, and one of the pioneers, of region-based memory management.