Refinement type: Revision history

3 July 2024

• curprev 14:0114:01, 3 July 2024 Brighterorange talk contribs 3,292 bytes +19 Wikilink Pfenning, who has an article undo

7 November 2023

• curprev 08:5308:53, 7 November 2023 OAbot talk contribs m 3,273 bytes +17 Open access bot: doi updated in citation with #oabot. undo

27 October 2023

• curprev 21:4121:41, 27 October 2023 WikiCleanerBot talk contribs m 3,256 bytes 0 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

18 October 2023

• curprev 20:5620:56, 18 October 2023 GeorgeMiao talk contribs 3,256 bytes +394 Add Rust to languages that has refinement type developed. undo

14 January 2021

• curprev 16:4816:48, 14 January 2021 Yobot talk contribs m 2,862 bytes +2 Fix REFPUNCT + other minor fixes undo Tag: AWB

13 January 2021

• curprev 16:3616:36, 13 January 2021 Monkbot talk contribs m 2,860 bytes −61 Task 18 (cosmetic): eval 6 templates: del empty params (4×); hyphenate params (4×); del |url-status= (1×); undo Tag: AWB

26 November 2020

• curprev 06:1406:14, 26 November 2020 Kr5t talk contribs 2,921 bytes −122 →History: Remove reference to Flow's "type refinement", which is unrelated to "refinement types". Flow's built-in feature "type refinement" is analogous to TypeScript's built-in feature "type narrowing". Although an old research project did implement actual "refinement types" on top of TypeScript syntax, they were never implemented for Flow, and are built-into neither undo

6 June 2020

• curprev 18:1018:10, 6 June 2020 Justnika talk contribs 3,043 bytes +211 Added a reference to a refinement types library for Haskell undo Tag: Visual edit

22 February 2020

• curprev 03:4403:44, 22 February 2020 ThomasJMarko talk contribs 2,832 bytes +122 →History undo

16 January 2020

• curprev 01:4801:48, 16 January 2020 Akeosnhaoe talk contribs 2,710 bytes +22 →See also undo Tags: Mobile edit Mobile web edit

25 November 2019

• curprev 18:2918:29, 25 November 2019 71.58.78.201 talk 2,688 bytes +3 No edit summary undo

24 November 2019

• curprev 17:2717:27, 24 November 2019 98.208.209.92 talk 2,685 bytes −12 →History: Grammar undo

10 April 2019

• curprev 19:3219:32, 10 April 2019 OAbot talk contribs m 2,697 bytes +17 Open access bot: add arxiv identifier to citation with #oabot. undo

5 April 2019

• curprev 19:1219:12, 5 April 2019 Adam Williams talk contribs 2,680 bytes +136 Add more about the ML refinement types undo
• curprev 19:0119:01, 5 April 2019 Adam Williams talk contribs 2,544 bytes +1,071 Add a history section undo

6 August 2018

• curprev 13:3813:38, 6 August 2018 OriumX talk contribs m 1,473 bytes +4 No edit summary undo

5 August 2018

• curprev 09:1909:19, 5 August 2018 Elmidae talk contribs 1,469 bytes +26 cleanup undo

4 August 2018

• curprev 19:5519:55, 4 August 2018 OriumX talk contribs 1,443 bytes +1,339 Created page with content from Refinement_(computing) undo Tag: Removed redirect

1 July 2013

• curprev 17:4417:44, 1 July 2013 Doncram talk contribs 104 bytes +17 make the redirect more specific to "Refinement types" section of target. I dunno about merits of some disagreement at ANI. undo

24 June 2013

• curprev 12:4412:44, 24 June 2013 Arthur Rubin talk contribs 87 bytes −2,232 Reverted 3 edits by Eptified (talk): That isn't the possibility. In addition to only the "Liquid types" section not being in the target article, most of the references are not obviously reliabl... undo
• curprev 07:4207:42, 24 June 2013 Eptified talk contribs 2,319 bytes +183 No edit summary undo
• curprev 07:4007:40, 24 June 2013 Eptified talk contribs 2,136 bytes +12 No edit summary undo
• curprev 07:3907:39, 24 June 2013 Eptified talk contribs 2,124 bytes +2,037 No edit summary undo

25 October 2012

• curprev 11:3811:38, 25 October 2012 AvicBot talk contribs m 87 bytes +4 Robot: Fixing double redirect to Refinement (computing) undo

11 November 2011

• curprev 00:1000:10, 11 November 2011 Ruud Koot talk contribs 83 bytes +25 cat undo

23 September 2009

• curprev 19:0419:04, 23 September 2009 Classicalecon talk contribs m 58 bytes +58 ←Redirected page to Program refinement