Talk:Refinement (computing)

The Retrenchment link on this page doesn't follow from the text. Perhaps a different term or definition is meant?

Wouldn't refinement types deserve their own page? — Preceding unsigned comment added by 94.245.127.15 (talk) 11:21, 28 November 2011 (UTC)