"Type-safe observable sharing in Haskell."

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