Functional Pearl: On generating unique names

Augustsson, Lennart, Rittri, Mikael, Synek, Dan·1994·Journal of Functional Programming