Jump to content

Talk:Refinement (computing)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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)[reply]