Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog No value restriction is needed for algebraic effects and handlers