Polymorphic recursion: Revision history

24 January 2025

• curprev 03:0703:07, 24 January 2025 GreenC bot talk contribs 7,878 bytes +3 Reformat 1 archive link. Wayback Medic 2.5 per Category:All articles with dead external links - pass 4 undo

16 December 2024

• curprev 04:5604:56, 16 December 2024 OAbot talk contribs m 7,875 bytes +38 Open access bot: hdl updated in citation with #oabot. undo

16 May 2024

• curprev 01:1301:13, 16 May 2024 FiftyLapels talk contribs 7,837 bytes +11 →Nested datatypes: mention upfront that the examples are in Haskell undo

21 March 2024

• curprev 17:3417:34, 21 March 2024 Davemck talk contribs m 7,826 bytes −45 Clean up duplicate template arguments using findargdups undo
• curprev 15:4215:42, 21 March 2024 MattWithTwoTees talk contribs m 7,871 bytes −2 →Further reading: fix citation undo

14 August 2023

• curprev 14:2214:22, 14 August 2023 OAbot talk contribs m 7,873 bytes +18 Open access bot: doi updated in citation with #oabot. undo

29 January 2023

• curprev 23:1923:19, 29 January 2023 OAbot talk contribs m 7,855 bytes +17 Open access bot: doi added to citation with #oabot. undo

10 November 2022

• curprev 17:4717:47, 10 November 2022 Citation bot talk contribs 7,838 bytes +18 Alter: title. Add: s2cid, chapter, citeseerx. Removed proxy/dead URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

30 October 2022

• curprev 13:5813:58, 30 October 2022 87.254.97.74 talk 7,820 bytes 0 Grammar abiguity fixed undo

18 July 2022

• curprev 05:3705:37, 18 July 2022 GreenC bot talk contribs 7,820 bytes +60 Rescued 1 archive link. Wayback Medic 2.5 undo

4 December 2021

• curprev 16:2516:25, 4 December 2021 Timrollpickering talk contribs m 7,760 bytes −22 →External links: clean up, removed stub tag undo Tag: AWB

30 May 2021

• curprev 00:3900:39, 30 May 2021 Jarble talk contribs m 7,782 bytes +199 linking undo Tag: Visual edit: Switched

2 April 2021

• curprev 12:5012:50, 2 April 2021 2a02:1812:1536:d00:d016:fd28:12dc:c191 talk 7,583 bytes +38 No edit summary undo

1 December 2020

• curprev 12:3112:31, 1 December 2020 Monkbot talk contribs m 7,545 bytes −5 Task 18 (cosmetic): eval 11 templates: del empty params (1×); hyphenate params (10×); del |ref=harv (1×); undo Tag: AWB

11 May 2020

• curprev 18:2018:20, 11 May 2020 DannyS712 bot talk contribs m 7,550 bytes +36 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

16 April 2020

• curprev 13:1513:15, 16 April 2020 OAbot talk contribs m 7,514 bytes +20 Open access bot: doi added to citation with #oabot. undo

19 December 2019

• curprev 06:0706:07, 19 December 2019 InternetArchiveBot talk contribs 7,494 bytes +73 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

9 September 2019

• curprev 00:0300:03, 9 September 2019 InternetArchiveBot talk contribs 7,421 bytes +84 Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

19 April 2019

• curprev 04:0304:03, 19 April 2019 74.139.217.147 talk 7,337 bytes 0 Adjusted list contents to fix typo obscuring that the items in the list are being counted by length undo

11 February 2019

• curprev 10:4210:42, 11 February 2019 Citation bot talk contribs m 7,337 bytes −692 Alter: journal, template type. Add: citeseerx, pages, isbn. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

30 June 2018

• curprev 06:5806:58, 30 June 2018 WillNess talk contribs 8,029 bytes +1 add a comma to aid comprehension undo Tag: 2017 wikitext editor

8 September 2017

• curprev 10:4610:46, 8 September 2017 KolbertBot talk contribs m 8,028 bytes +3 Bot: HTTP→HTTPS undo

20 August 2017

• curprev 03:3803:38, 20 August 2017 GoingBatty talk contribs m 8,025 bytes +3 General fixes, replaced: Java → Java using AWB undo

1 December 2016

• curprev 22:5622:56, 1 December 2016 36.236.165.50 talk 8,022 bytes +10 →Nested datatypes: The capabilities of Haskell's type inferencer are orthogonal to the topic, so added "Note that" at the beginning to signify this undo

12 June 2016

• curprev 00:5000:50, 12 June 2016 Tom.Reding talk contribs m 8,012 bytes −23 Fix Category:Pages using citations with accessdate and no URL when perm identifier present (doi|bibcode|arxiv|pmid|jstor|isbn|issn|lccn|oclc|ismn|hdl) (rem access-date) using AWB undo

9 March 2016

• curprev 17:3117:31, 9 March 2016 BiT talk contribs 8,035 bytes +2 No edit summary undo

29 December 2015

• curprev 06:0206:02, 29 December 2015 202.79.203.83 talk 8,033 bytes +2 fix typo undo

21 July 2015

• curprev 23:1423:14, 21 July 2015 BuffaloBob talk contribs m 8,031 bytes 0 →Data structures, Error detection, Graph solutions: correct headings per MOS:SECTIONCAPS undo

12 January 2015

• curprev 09:1409:14, 12 January 2015 Niceguyedc talk contribs m 8,031 bytes +31 WPCleaner v1.34 - Repaired 1 link to disambiguation page - (You can help) - Haskell undo

13 June 2014

• curprev 16:2816:28, 13 June 2014 128.105.2.11 talk 8,000 bytes +53 →Nested datatypes: Reword & get rid of confusing sentence undo
• curprev 16:2316:23, 13 June 2014 128.105.2.11 talk 7,947 bytes 0 →Data structures, Error detection, Graph solutions: Move Okasaki citation to relevant sentence undo
• curprev 16:2116:21, 13 June 2014 128.105.2.11 talk 7,947 bytes +2 →Data structures, Error detection, Graph solutions: typo: Osaki -> Okasaki undo

19 April 2014

• curprev 17:2317:23, 19 April 2014 Pdecalculus talk contribs m 7,945 bytes +9 →Data structures, Error detection, Graph solutions undo
• curprev 17:2117:21, 19 April 2014 Pdecalculus talk contribs 7,936 bytes +28 →Data structures, Error detection, Graph solutions: add internal links to keep article from being deleted undo
• curprev 17:1317:13, 19 April 2014 Pdecalculus talk contribs m 7,908 bytes −5 →Data structures, Error detection, Graph solutions: spelling undo
• curprev 17:1117:11, 19 April 2014 Pdecalculus talk contribs 7,913 bytes +10 →Applications: add internal links to add relevance undo
• curprev 16:4916:49, 19 April 2014 Pdecalculus talk contribs 7,903 bytes +55 add internal links and infoboxes to keep article from being speedy deleted or subsumed (add relevance) undo
• curprev 16:4316:43, 19 April 2014 Pdecalculus talk contribs 7,848 bytes +21 add stub to invite more programming editors undo
• curprev 16:3616:36, 19 April 2014 Pdecalculus talk contribs 7,827 bytes +369 →Program analysis: add citations to remove editor's problem with too few citations undo
• curprev 16:3116:31, 19 April 2014 Pdecalculus talk contribs 7,458 bytes +1,342 →Program analysis: expand section and add citations undo

13 March 2013

• curprev 14:5614:56, 13 March 2013 Ruud Koot talk contribs 6,116 bytes +1,389 applications in program analysis undo

8 May 2012

• curprev 16:0116:01, 8 May 2012 Helpful Pixie Bot talk contribs m 4,727 bytes +14 Dated {{Expand section}}. (Build KF) undo
• curprev 15:4315:43, 8 May 2012 Ruud Koot talk contribs 4,713 bytes +105 →Example: === Higher-ranked types === {{see also|Higher-ranked type}} {{expand section}} undo

5 April 2012

• curprev 15:0715:07, 5 April 2012 Ruud Koot talk contribs 4,608 bytes +336 →Further reading: {{cite journal|first=Lambert|last=Meertens|authorlink=Lambert Meertens|title=Incremental polymorphic type checking in B|journal=ACM Symposium on Principles of Programming Languages (POPL), Austin, Texas|year=1983|url=http:// undo

1 April 2012

• curprev 16:5316:53, 1 April 2012 Arjayay talk contribs m 4,272 bytes +1 Sp - Refered > Referred undo

31 March 2012

• curprev 20:0720:07, 31 March 2012 Ruud Koot talk contribs 4,271 bytes +449 →Further reading: {{cite journal|author1 = Hallett, J. J|author2 = Kfoury, A. J.|title = Programming Examples Needing Polymorphic Recursion | journal = Electronic Notes in Theoretical Computer Science | date = July 2005 | volume = 136 | issn undo
• curprev 19:4419:44, 31 March 2012 Ruud Koot talk contribs 3,822 bytes +205 →Further reading: {{cite journal|author=Michael I. Schwartzbach|title=Polymorphic type inference|journal=Technical Report BRICS-LS-95-3|publisher=BRICS|date=June 1995|url=http://www.brics.dk/LS/95/3/BRICS-LS-95-3.ps.gz}} undo
• curprev 19:1619:16, 31 March 2012 Ruud Koot talk contribs 3,617 bytes +151 Milner–Mycroft typability/calculus undo
• curprev 19:1319:13, 31 March 2012 Ruud Koot talk contribs 3,466 bytes +491 →Further reading: {{cite journal|author1=Kfoury, A. J.|authorlink1=Assaf Kfoury|author2=Tiuryn, J.|author3=Urzyczyn, P.|title=Type reconstruction in the presence of polymorphic recursion|journal = [[ACM Transactions on Programming Languages and S undo

8 February 2012

• curprev 11:2111:21, 8 February 2012 SchreyP talk contribs 2,975 bytes +1 repair link to undecidable problem undo