Parametric polymorphism: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 00:1500:15, 26 May 2025 OAbot talk contribs m 16,817 bytes +54 Open access bot: url-access updated in citation with #oabot. undo

curprev 03:4803:48, 24 May 2025 Citation bot talk contribs 16,763 bytes +1 Alter: title, template type. Add: chapter-url, chapter, authors 1-1. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 577/892 undo

curprev 16:4016:40, 9 May 2025 Paradoxalpotato talk contribs m 16,762 bytes +393 Added a source to confirme ML is a predicative language undo Tag: Visual edit

curprev 18:2718:27, 25 December 2024 Tassedethe talk contribs 16,369 bytes +21 No edit summary undo
curprev 18:2418:24, 25 December 2024 Tassedethe talk contribs m 16,348 bytes +34 v2.05 - Repaired 1 link to disambiguation page - (You can help) - Peter Wegner undo Tag: WPCleaner

curprev 23:5023:50, 10 February 2024 Nowhere man talk contribs m 16,314 bytes +6 Use consistent notation for types. undo Tag: Visual edit

curprev 13:4413:44, 12 November 2023 2a02:1812:110c:dc00:74df:ba46:c9cd:45e4 talk 16,308 bytes +15 No edit summary undo

curprev 11:1411:14, 8 August 2023 Citation bot talk contribs 16,293 bytes −3 Alter: title, template type. Add: chapter. Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox3 | #UCB_webform_linked 1492/2306 undo

curprev 00:1700:17, 20 June 2023 Citation bot talk contribs 16,296 bytes −35 Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 17:2017:20, 30 January 2023 Citation bot talk contribs 16,331 bytes −54 Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 5/111 undo

curprev 07:5207:52, 29 January 2023 OAbot talk contribs m 16,385 bytes +17 Open access bot: doi added to citation with #oabot. undo

curprev 15:2415:24, 3 January 2023 Citation bot talk contribs 16,368 bytes +49 Alter: journal. Add: s2cid, isbn. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 502/2500 undo

curprev 21:5521:55, 21 November 2022 Nbrader talk contribs 16,319 bytes +2 →Rank-1 (predicative) polymorphism: And another one... undo
curprev 21:5221:52, 21 November 2022 Nbrader talk contribs 16,317 bytes +6 →Basic definition: I've added some brackets because it looked to me like a pair "(list,function)" rather than a function "pair -> list" undo

curprev 00:3900:39, 1 October 2022 Lexi.lambda talk contribs 16,311 bytes +80 →Rank-1 (predicative) polymorphism: Update notation to match new definition section undo
curprev 00:1100:11, 1 October 2022 Lexi.lambda talk contribs 16,231 bytes +4 →Basic definition: Add parentheses around the types for append to make them easier to separate from the prose undo
curprev 00:0800:08, 1 October 2022 Lexi.lambda talk contribs 16,227 bytes +2,923 Add section “Basic definition” and move some of the contents from the summary into it undo

curprev 22:4322:43, 30 September 2022 Lexi.lambda talk contribs 13,304 bytes +1,171 Merge sections on higher-rank polymorphism and predicativity, since the two concepts are intimately related undo

curprev 16:2916:29, 17 June 2022 Kavuldra talk contribs m 12,133 bytes +18 →Bounded parametric polymorphism: changed use of scriptstyle in inline context to inline. undo

curprev 23:0623:06, 10 June 2022 Citation bot talk contribs 12,115 bytes +252 Add: isbn, volume, series, url, s2cid. | Use this bot. Report bugs. | Suggested by BrownHairedGirl | #UCB_webform 2712/3607 undo

curprev 16:0016:00, 30 December 2021 67.198.37.16 talk 11,863 bytes +35 →See also: Trait (computer programming) undo

curprev 11:5711:57, 15 August 2021 Qwerfjkl talk contribs m 11,828 bytes −4 Removed 'The' from the beginning of the short description per WP:SDFORMAT. (via WP:JWB) undo

curprev 08:2608:26, 29 June 2021 Nuk3n talk contribs m 11,832 bytes −1 Si usted no finaliza, por ejemplo, esta frase entre paréntesis :"(for example, rank-1 or prenex polymorphism)", por qué va a ponerle un punto al final de la frase que estoy modificando? Why yo revert my edition? undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

curprev 05:3705:37, 28 June 2021 Tea2min talk contribs 11,833 bytes −2 Undid revision 1030740827 by Nuk3n (talk): ? undo Tag: Undo

curprev 19:4319:43, 27 June 2021 Nuk3n talk contribs m 11,835 bytes +2 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 19:2819:28, 21 May 2021 Lennart97 talk contribs m 11,833 bytes +10 Disambiguating links to Subtype (link changed to Subtyping) using DisamAssist. undo

curprev 10:3610:36, 1 May 2021 Rotondus talk contribs m 11,823 bytes 0 →Predicative polymorphism: spelling undo

curprev 23:3823:38, 12 March 2021 2001:861:3ac0:4fa0:c4fe:7d80:d522:e9cc talk 11,823 bytes +38 No edit summary undo

curprev 01:4801:48, 14 January 2021 Monkbot talk contribs m 11,785 bytes −104 Task 18 (cosmetic): eval 10 templates: hyphenate params (7×); del |ref=harv (8×); cvt lang vals (2×); undo Tag: AWB

curprev 09:3409:34, 18 October 2020 ArnoldReinhold talk contribs 11,889 bytes +55 Adding local short description: "The basis of generic programming", overriding Wikidata description "the basis of generic programming" (Shortdesc helper) undo

curprev 05:4005:40, 1 October 2020 Cnwilliams talk contribs m 11,834 bytes +30 Disambiguated: Python → Python (programming language) undo

curprev 17:3717:37, 4 September 2020 37.26.74.40 talk 11,804 bytes +36 →History undo

curprev 21:4821:48, 5 June 2020 Citation bot talk contribs 11,768 bytes +18 Alter: url. Add: url. | You can use this bot yourself. Report bugs here. | Activated by SemperIocundus | via #UCB_webform undo

curprev 00:3800:38, 3 June 2019 Jarble talk contribs 11,750 bytes +326 adding a reference undo

curprev 18:0618:06, 19 February 2019 Citation bot talk contribs m 11,424 bytes +1 Alter: title, journal. Add: citeseerx, isbn, title-link, author pars. 1-1. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 23:3823:38, 15 February 2019 146.90.191.130 talk 11,423 bytes −163 Fixed up the points I marked "dubious" or "vague" earlier. undo
curprev 23:1123:11, 15 February 2019 AnomieBOT talk contribs m 11,586 bytes +38 Dating maintenance tags: {{Citation needed}} {{Vague}} undo
curprev 21:1021:10, 15 February 2019 146.90.191.130 talk 11,548 bytes +332 At least part of this section is wrong (or at best misleading). Added {{Unreferenced section}} and {{Dubious}} tags. undo

curprev 10:0610:06, 15 November 2018 Cuihtlauac talk contribs 11,216 bytes +20 →See also undo

curprev 16:2016:20, 25 March 2017 185.25.95.132 talk 11,196 bytes +2 No edit summary undo

curprev 17:1817:18, 15 May 2016 Dcirovic talk contribs m 11,194 bytes −5 →History: clean up, replaced: <em> → '', </em> → '' using AWB undo

curprev 07:3407:34, 8 January 2015 Sebgod talk contribs m 11,199 bytes +44 Add Mercury to languages undo

curprev 22:2022:20, 2 January 2015 Eriksensei talk contribs m 11,155 bytes +40 Introduced explicit universal quantification and more uniform formatting to a few type signatures. undo

curprev 19:1719:17, 15 November 2014 213.125.194.11 talk 11,115 bytes +40 Add Julia to languages which support parametric polymorphism undo

curprev 13:1213:12, 28 July 2014 188.126.200.132 talk 11,075 bytes −9 →History undo

curprev 12:3112:31, 3 June 2014 Ruud Koot talk contribs 11,084 bytes +44 →See also: Type class#Higher-kinded polymorphism undo

curprev 11:3211:32, 14 February 2014 GregRos talk contribs 11,040 bytes −129 →Rank-1 (prenex) polymorphism: As far as I can tell, this unsourced statement is false. You need type annotations to use impredictable types in Haskell , e.g. http://www.haskell.org/haskellwiki/Impredicative_types undo Tag: Visual edit

curprev 12:0512:05, 28 November 2013 AnomieBOT talk contribs m 11,169 bytes +38 Dating maintenance tags: {{Expand section}} undo
curprev 10:0510:05, 28 November 2013 Antoine Poliakov talk contribs 11,131 bytes +19 →Rank-n ("higher-rank") polymorphism undo
curprev 10:0410:04, 28 November 2013 Antoine Poliakov talk contribs 11,112 bytes +19 →Rank-k polymorphism undo

26 May 2025

24 May 2025

9 May 2025

25 December 2024

10 February 2024

12 November 2023

8 August 2023

20 June 2023

30 January 2023

29 January 2023

3 January 2023

21 November 2022

1 October 2022

30 September 2022

17 June 2022

10 June 2022

30 December 2021

15 August 2021

29 June 2021

28 June 2021

27 June 2021

21 May 2021

1 May 2021

12 March 2021

14 January 2021

18 October 2020

1 October 2020

4 September 2020

5 June 2020

3 June 2019

19 February 2019

15 February 2019

15 November 2018

25 March 2017

15 May 2016

8 January 2015

2 January 2015

15 November 2014

28 July 2014

3 June 2014

14 February 2014

28 November 2013