Flow-sensitive typing: 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 01:0001:00, 5 May 2024‎ Clements talk contribs‎ m 11,162 bytes −16‎ →‎Benefits: DOI repair undo
curprev 00:5900:59, 5 May 2024‎ Clements talk contribs‎ m 11,178 bytes +47‎ →‎Benefits: be more precise about claim regarding first usable union type system undo
curprev 00:5300:53, 5 May 2024‎ Clements talk contribs‎ 11,131 bytes +806‎ →‎Benefits: PL Perspective, this is what finally made union types practical. undo
curprev 00:3200:32, 5 May 2024‎ Clements talk contribs‎ m 10,325 bytes −34‎ →‎Implementations: replace apparently-broken LtU URL with official ACM URL undo

curprev 00:1200:12, 17 April 2024‎ InternetArchiveBot talk contribs‎ 10,359 bytes +318‎ Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.5 undo

curprev 06:5606:56, 14 November 2023‎ JnRouvignac talk contribs‎ 10,041 bytes −41‎ →‎Alternatives undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 12:2212:22, 27 November 2022‎ TheBaird talk contribs‎ 10,062 bytes −3‎ →‎Benefits: Fixed extra word undo Tags: Mobile edit Mobile web edit

curprev 18:5218:52, 14 November 2021‎ Shriramk talk contribs‎ 10,065 bytes +311‎ Fixed incorrect statements, added references to improve the historical record. undo

curprev 21:5921:59, 4 October 2021‎ WikiCleanerBot talk contribs‎ m 9,766 bytes −1‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 09:1209:12, 1 October 2021‎ JnRouvignac talk contribs‎ 9,767 bytes +1,458‎ No edit summary undo
curprev 09:0009:00, 1 October 2021‎ JnRouvignac talk contribs‎ 8,309 bytes +861‎ Add "pattern matching" as an alternative to flow-sensitive typing undo

curprev 23:2223:22, 15 December 2020‎ Citation bot talk contribs‎ 7,448 bytes −1‎ Alter: title. | You can use this bot yourself. Report bugs here. | Suggested by Headbomb | Category:CS1 errors: invisible characters | via #UCB_Category 86/428 undo
curprev 08:2808:28, 15 December 2020‎ WikiCleanerBot talk contribs‎ m 7,449 bytes −1‎ v2.04b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 08:3308:33, 14 December 2020‎ Kr5t talk contribs‎ 7,450 bytes +296‎ →‎Implementations: Add Typed Racket undo
curprev 08:2908:29, 14 December 2020‎ Kr5t talk contribs‎ 7,154 bytes +975‎ Add C# (which gained occurrence typing this year) and Typed Scheme (which predates Whiley) undo

curprev 00:1200:12, 12 January 2020‎ JnRouvignac talk contribs‎ 5,853 bytes +6‎ →‎Benefits undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 13:5313:53, 7 January 2019‎ JnRouvignac talk contribs‎ 5,861 bytes −11‎ →‎Kotlin: Use more neutral language for the Kotlin example undo Tags: Mobile edit Mobile web edit

curprev 11:5211:52, 9 October 2018‎ Voddan talk contribs‎ 5,872 bytes +446‎ Corrected the definition, add Kotlin example undo

curprev 13:4813:48, 22 May 2016‎ Ruud Koot talk contribs‎ 5,438 bytes −30‎ No edit summary undo

curprev 14:0814:08, 11 March 2016‎ JnRouvignac talk contribs‎ 5,440 bytes +1,133‎ →‎Implementations: Added Kotlin and references for all languages (edited with ProveIt) undo
curprev 09:3409:34, 11 March 2016‎ JnRouvignac talk contribs‎ 4,307 bytes +4,307‎ Creation (edited with ProveIt) Tag: nowiki added