Hindley–Milner type system: 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 12:5112:51, 4 July 2024‎ 2003:e8:7725:f401:600b:cc8b:88aa:2ad6 talk‎ 61,860 bytes +40‎ →‎Syntax: links undo

curprev 16:2716:27, 6 June 2024‎ Phantom Hoover talk contribs‎ 61,820 bytes −33‎ →‎Typing rules: The derivation as written violates the premise of the Let rule that e_1's type is a monotype; moving the application of Gen to the end seems to fix this; I'm not sure it has the same intended didactic value, but it's at least not incorrect. undo

curprev 13:5713:57, 2 May 2024‎ 2003:e8:774a:401:3248:fa3a:362f:16e4 talk‎ 61,853 bytes +9‎ →‎Algorithm J undo
curprev 13:5613:56, 2 May 2024‎ 2003:e8:774a:401:3248:fa3a:362f:16e4 talk‎ 61,844 bytes 0‎ →‎Algorithm J undo

curprev 06:2506:25, 9 April 2024‎ WikiCleanerBot talk contribs‎ m 61,844 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 16:3616:36, 7 April 2024‎ Citation bot talk contribs‎ 61,844 bytes +48‎ Add: isbn, doi, pages. Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | Category:Wikipedia introduction cleanup from March 2024 | #UCB_Category 17/208 undo

curprev 18:4918:49, 19 March 2024‎ 76.155.235.153 talk‎ 61,796 bytes +633‎ No edit summary undo

curprev 01:1201:12, 16 March 2024‎ Thumperward talk contribs‎ 61,163 bytes +35‎ Added {{Lead too short}} tag undo Tag: Twinkle

curprev 18:0618:06, 16 February 2024‎ Shonfeder talk contribs‎ m 61,128 bytes +43‎ →‎Generalization rule: Make the explicitation more explicit undo
curprev 18:0218:02, 16 February 2024‎ Shonfeder talk contribs‎ m 61,085 bytes +2‎ →‎Generalization rule: Fix missing D underscore undo

curprev 22:3922:39, 5 January 2024‎ OAbot talk contribs‎ m 61,083 bytes +76‎ Open access bot: hdl updated in citation with #oabot. undo

curprev 12:1512:15, 28 December 2023‎ AB-Babayo talk contribs‎ 61,007 bytes +61‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 06:3406:34, 21 December 2023‎ YusufuAM talk contribs‎ 60,946 bytes +101‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

curprev 18:5318:53, 21 October 2023‎ AnomieBOT talk contribs‎ m 60,845 bytes +18‎ Dating maintenance tags: {{Citation needed}} undo
curprev 16:5316:53, 21 October 2023‎ Lcdrovers talk contribs‎ 60,827 bytes +19‎ →‎Degrees of freedom instantiating the rules: add citation needed to confusingly linked section on robinson's unification undo Tags: Mobile edit Mobile web edit

curprev 13:4813:48, 12 September 2023‎ AnomieBOT talk contribs‎ m 60,808 bytes +20‎ Dating maintenance tags: {{Citation needed}} undo
curprev 13:2713:27, 12 September 2023‎ BalinKingOfMoria talk contribs‎ 60,788 bytes +19‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 15:5815:58, 22 August 2023‎ Headbomb talk contribs‎ 60,769 bytes −15‎ Add: date, series, chapter, title. | Use this tool. Report bugs. | #UCB_Gadget undo
curprev 15:5615:56, 22 August 2023‎ Citation bot talk contribs‎ 60,784 bytes +19‎ Alter: title. Add: chapter. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 01:3001:30, 21 August 2023‎ Ancheta Wis talk contribs‎ 60,765 bytes +3‎ →‎Typing rules: use markup undo

curprev 06:4506:45, 8 August 2023‎ Headbomb talk contribs‎ m 60,762 bytes −10‎ clean up undo Tag: AWB

curprev 12:1612:16, 7 August 2023‎ Citation bot talk contribs‎ 60,772 bytes −93‎ Add: date. 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/Sandbox3 | #UCB_webform_linked 877/2306 undo

curprev 17:3217:32, 28 June 2023‎ Jochen Burghardt talk contribs‎ 60,865 bytes +19‎ →‎Degrees of freedom instantiating the rules: request stub on the notion of a fresh variable undo

curprev 16:5016:50, 27 June 2023‎ 103.59.75.113 talk‎ 60,846 bytes −12‎ Removed unnecessary "By the way" undo

curprev 14:3014:30, 18 April 2023‎ सकते हो talk contribs‎ 60,858 bytes −1‎ No edit summary undo Tag: Visual edit

curprev 05:5505:55, 12 April 2023‎ Tea2min talk contribs‎ m 60,859 bytes −12‎ Undid revision 1149388343 by 2402:9D80:22D:AD38:BD8B:5E5D:3B66:E82D (talk): Test edit? undo Tag: Undo

curprev 22:3822:38, 11 April 2023‎ 2402:9d80:22d:ad38:bd8b:5e5d:3b66:e82d talk‎ 60,871 bytes +12‎ 0934288085 undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 14:3214:32, 28 February 2023‎ Kmoerman talk contribs‎ m 60,859 bytes +40‎ →‎Degrees of freedom instantiating the rules: Reformatting, clarifying that the refinement steps belong to the App-rule of the syntactical system. undo Tag: Visual edit

curprev 08:3608:36, 8 February 2023‎ Cobalt pen talk contribs‎ 60,819 bytes −81‎ No edit summary undo

curprev 19:0819:08, 2 February 2023‎ 2a01:c23:6820:db00:f94c:d8cb:3fd2:5827 talk‎ 60,900 bytes 0‎ →‎Context and typing undo

curprev 21:0821:08, 28 January 2023‎ OAbot talk contribs‎ m 60,900 bytes +22‎ Open access bot: doi added to citation with #oabot. undo

curprev 12:1712:17, 22 October 2022‎ Aradarbel10 talk contribs‎ m 60,878 bytes +8‎ replaced ASCII vdash with latex \vdash undo Tag: Visual edit

curprev 23:5123:51, 30 September 2022‎ AnomieBOT talk contribs‎ m 60,870 bytes +20‎ Dating maintenance tags: {{Manual}} undo
curprev 21:5121:51, 30 September 2022‎ Lexi.lambda talk contribs‎ 60,850 bytes +4‎ Prefer “typing rules” over “type rules” undo
curprev 20:2820:28, 30 September 2022‎ Lexi.lambda talk contribs‎ 60,846 bytes +61‎ Tag for cleanup, see Talk:Hindley–Milner type system#Article reads like a textbook undo
curprev 05:3305:33, 30 September 2022‎ Lexi.lambda talk contribs‎ 60,785 bytes +25‎ Add link to Completeness (logic) undo

curprev 20:1620:16, 29 June 2022‎ Citation bot talk contribs‎ 60,760 bytes +17‎ Add: s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 22:0822:08, 19 May 2022‎ Ecksdfp talk contribs‎ m 60,743 bytes −8‎ correct reference link undo

curprev 04:3804:38, 14 March 2022‎ Hulmem talk contribs‎ 60,751 bytes +79‎ Adding local short description: "Type system used in computer programming and mathematics", overriding Wikidata description "type system supporting type inference" (Shortdesc helper) undo

curprev 07:5507:55, 9 March 2022‎ 2601:547:500:e930:1df:2798:b135:db1f talk‎ 60,672 bytes −1‎ →‎Monomorphism vs. polymorphism undo

curprev 02:5402:54, 10 February 2022‎ Domdomegg talk contribs‎ 60,673 bytes −95‎ →‎The Hindley–Milner type system: Remove 'abstracton' monotype. This is application with the -> type function. undo Tag: 2017 wikitext editor

curprev 14:5514:55, 25 January 2022‎ 151.197.32.124 talk‎ 60,768 bytes +1‎ →‎Subtyping: "Show" implies a proof, which is not given in the cited work. undo

curprev 13:0013:00, 16 January 2022‎ DimenErno talk contribs‎ 60,767 bytes 0‎ →‎Generalization rule undo
curprev 12:5912:59, 16 January 2022‎ DimenErno talk contribs‎ m 60,767 bytes 0‎ →‎Generalization rule undo

curprev 04:1004:10, 13 September 2021‎ Goudron talk contribs‎ m 60,767 bytes +6‎ →‎Generalization rule: Fix a spelling error in a common Latin phrase (that hasn't been ever attested to a native Latin speaker, FWIW) by replacing it with an English one. undo

curprev 08:2508:25, 9 September 2021‎ Cedar101 talk contribs‎ m 60,761 bytes −15‎ →‎Monomorphism vs. polymorphism: html math undo

curprev 01:1101:11, 6 September 2021‎ Cedar101 talk contribs‎ m 60,776 bytes +5‎ →‎Degrees of freedom instantiating the rules: html math undo

curprev 17:2017:20, 30 August 2021‎ WikiCleanerBot talk contribs‎ m 60,771 bytes −2‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 22:5722:57, 17 August 2021‎ 69.143.60.230 talk‎ 60,773 bytes −7‎ →‎Overloading: Remove extraneous comma and word undo

curprev 11:1611:16, 10 August 2021‎ LParreaux talk contribs‎ 60,780 bytes +2,661‎ Expand Subtyping section undo

4 July 2024

6 June 2024

2 May 2024

9 April 2024

7 April 2024

19 March 2024

16 March 2024

16 February 2024

5 January 2024

28 December 2023

21 December 2023

21 October 2023

12 September 2023

22 August 2023

21 August 2023

8 August 2023

7 August 2023

28 June 2023

27 June 2023

18 April 2023

12 April 2023

11 April 2023

28 February 2023

8 February 2023

2 February 2023

28 January 2023

22 October 2022

30 September 2022

29 June 2022

19 May 2022

14 March 2022

9 March 2022

10 February 2022

25 January 2022

16 January 2022

13 September 2021

9 September 2021

6 September 2021

30 August 2021

17 August 2021

10 August 2021