Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Platonic C# - Managing Referential Transparency through Unique Types