"Type-safe observable sharing in Haskell."

Andy Gill (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics