User contributions for Lexi.lambda

1 October 2022

• 00:3900:39, 1 October 2022 diff hist +80 Parametric polymorphism →Rank-1 (predicative) polymorphism: Update notation to match new definition section
• 00:1100:11, 1 October 2022 diff hist +4 Parametric polymorphism →Basic definition: Add parentheses around the types for append to make them easier to separate from the prose
• 00:0800:08, 1 October 2022 diff hist +2,923 Parametric polymorphism Add section “Basic definition” and move some of the contents from the summary into it

30 September 2022

• 22:4322:43, 30 September 2022 diff hist +1,171 Parametric polymorphism Merge sections on higher-rank polymorphism and predicativity, since the two concepts are intimately related
• 21:5721:57, 30 September 2022 diff hist 0 m Typing environment No edit summary
• 21:5421:54, 30 September 2022 diff hist −10 m Value restriction No edit summary
• 21:5321:53, 30 September 2022 diff hist +8 Intersection type discipline Prefer “typing rules” over “type rules”
• 21:5221:52, 30 September 2022 diff hist +2 Typing environment Prefer “typing rules” over “type rules”
• 21:5221:52, 30 September 2022 diff hist +2 Type system Prefer “typing rules” over “type rules”
• 21:5221:52, 30 September 2022 diff hist −11 m Standard ML No edit summary
• 21:5121:51, 30 September 2022 diff hist +4 Hindley–Milner type system Prefer “typing rules” over “type rules”
• 21:5021:50, 30 September 2022 diff hist +2 Simply typed lambda calculus Prefer “typing rules” over “type rules”
• 21:4921:49, 30 September 2022 diff hist −10 m Curry–Howard correspondence No edit summary
• 21:4921:49, 30 September 2022 diff hist −10 m Subtyping No edit summary
• 21:4821:48, 30 September 2022 diff hist −8 Type system →Decision problems: Prefer “typing rules” over “type rules”
• 21:4221:42, 30 September 2022 diff hist +2,878 Simply typed lambda calculus Convert most general references to inline citations
• 21:0521:05, 30 September 2022 diff hist +259 Programming Computable Functions Convert most general references to inline citations
• 20:3620:36, 30 September 2022 diff hist +19 N User:Lexi.lambda ←Created page with '{{lowercase title}}' current
• 20:2820:28, 30 September 2022 diff hist +61 Hindley–Milner type system Tag for cleanup, see Talk:Hindley–Milner type system#Article reads like a textbook
• 20:2520:25, 30 September 2022 diff hist +759 Talk:Hindley–Milner type system →Article reads like a textbook: new section Tag: New topic
• 19:5519:55, 30 September 2022 diff hist +1,758 Typing rule Restructure the bulk of the text to be a little more accessible and add more citations
• 19:0819:08, 30 September 2022 diff hist +32 N Type environment ←Redirected page to Typing environment current Tag: New redirect
• 19:0719:07, 30 September 2022 diff hist +32 N Typing context ←Redirected page to Typing environment current Tag: New redirect
• 18:2718:27, 30 September 2022 diff hist +225 Typing rule Add TAPL citation
• 18:2318:23, 30 September 2022 diff hist +12 Typing rule Update uses of “type rule” to “typing rule” in correspondence with the move
• 18:2118:21, 30 September 2022 diff hist +77 N Talk:Type rule Lexi.lambda moved page Talk:Type rule to Talk:Typing rule: The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept current Tag: New redirect
• 18:2118:21, 30 September 2022 diff hist 0 m Talk:Typing rule Lexi.lambda moved page Talk:Type rule to Talk:Typing rule: The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept
• 18:2118:21, 30 September 2022 diff hist +72 N Type rule Lexi.lambda moved page Type rule to Typing rule over redirect: The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept current Tag: New redirect
• 18:2118:21, 30 September 2022 diff hist 0 m Typing rule Lexi.lambda moved page Type rule to Typing rule over redirect: The phrase “typing rule” is dramatically more common than “type rule” for this concept—most ngrams hits for “type rule” are spurious, whereas “typing rule” reliably refers to the concept
• 05:3305:33, 30 September 2022 diff hist +25 Hindley–Milner type system Add link to Completeness (logic)

22 September 2022

• 17:0017:00, 22 September 2022 diff hist −368 m Memory safety Fix duplicate reference
• 16:4316:43, 22 September 2022 diff hist +1,818 Memory safety →Approaches: Highlight the most common approach to memory safety, garbage collection, before discussing alternatives

21 September 2022

• 18:5518:55, 21 September 2022 diff hist +1,881 Memory safety Add Impact section with some citations for the commonly-quoted 70% number
• 18:2418:24, 21 September 2022 diff hist +509 Test suite Add citation, mark some things that need clarification
• 03:2303:23, 21 September 2022 diff hist −9 Type safety →Definitions: Tweak some wording
• 03:0503:05, 21 September 2022 diff hist +221 m Type safety Filling in 2 references using Reflinks
• 03:0203:02, 21 September 2022 diff hist −30 m Type safety →Relation to other forms of safety: wording
• 02:5402:54, 21 September 2022 diff hist +570 Type safety →Relation to other forms of safety: Clarify the discussion in this section and add a citation for sized array types
• 02:3502:35, 21 September 2022 diff hist +589 Type safety →Definitions: Streamline section, add more inline citations, and focus on the most relevant modern definition
• 01:2901:29, 21 September 2022 diff hist −307 Type safety →Definitions: Remove a confusing sentence that seems neither particularly correct nor particularly relevant
• 01:2401:24, 21 September 2022 diff hist +386 m Type safety →Definitions: Add inline citation for progress and preservation

13 December 2021

• 01:1601:16, 13 December 2021 diff hist 0 m Mathematical Alphanumeric Symbols Add missing pink background for U+211C BLACK-LETTER CAPITAL R

23 July 2021

• 00:1700:17, 23 July 2021 diff hist +1 Operational semantics Replace “reduction context” with “reduction semantics”; swap author order to match citation
• 00:0800:08, 23 July 2021 diff hist +652 Operational semantics →Reduction semantics: Add a reference to SEwPR

22 July 2021

• 23:4623:46, 22 July 2021 diff hist +534 Operational semantics →Reduction semantics: Properly typeset mathematics and clean up some of the prose
• 23:0423:04, 22 July 2021 diff hist +1,026 Operational semantics →Reduction semantics: Convert in-text references to papers into references

16 July 2020

• 05:2405:24, 16 July 2020 diff hist 0 m Cherry AG Correct date from 2020 to 2019, as clearly indicated by source

23 June 2018

• 20:1920:19, 23 June 2018 diff hist −23 m Chips Ahoy! Revert lingering vandalism