Talk:Type safety: 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 10:4210:42, 24 January 2024 Qwerfjkl (bot) talk contribs 65,104 bytes +31 Implementing WP:PIQA (Task 26) undo Tag: Talk banner shell conversion

curprev 09:0109:01, 15 May 2023 Cewbot talk contribs 65,073 bytes +1,064 Reminder of an inactive anchor: generics undo

curprev 23:0923:09, 14 January 2023 Cewbot talk contribs 64,009 bytes +4,607 Reminder of an inactive anchor: object undo

curprev 18:1018:10, 14 December 2017 Ancheta Wis talk contribs 59,402 bytes +75 →Type safety of System F undo
curprev 18:0618:06, 14 December 2017 Ancheta Wis talk contribs 59,327 bytes +531 →Type safety and "strong typing" undo

curprev 06:4906:49, 15 August 2014 Pintoch talk contribs 58,796 bytes +8 C class for WP:WPCS undo

curprev 06:2706:27, 8 May 2014 WastedMeerkat talk contribs 58,788 bytes +1,575 →Garbage collection and type safety undo

curprev 15:1515:15, 27 June 2013 Catnaroek talk contribs 57,213 bytes +90 →Type safety and "strong typing" undo
curprev 15:1515:15, 27 June 2013 Catnaroek talk contribs 57,123 bytes +469 No edit summary undo
curprev 15:0815:08, 27 June 2013 Catnaroek talk contribs 56,654 bytes +354 →Contradictory? undo

curprev 11:2911:29, 28 April 2012 SineBot talk contribs m 56,300 bytes +294 Signing comment by 109.65.38.7 - "→Cleanup Required: " undo
curprev 11:2711:27, 28 April 2012 109.65.38.7 talk 56,006 bytes +656 →Cleanup Required undo

curprev 04:1104:11, 12 March 2012 121.45.201.75 talk 55,350 bytes +15 cs importance ??->mid undo

curprev 19:3719:37, 16 February 2012 Ruud Koot talk contribs 55,335 bytes +25 {{WikiProject Computer science}} undo

curprev 10:0510:05, 30 January 2012 Trims2u talk contribs 55,310 bytes +631 →Java and Standard ML do not have type safety proofs undo

curprev 14:3614:36, 21 June 2011 Ruakh talk contribs 54,679 bytes +463 →Java and Standard ML do not have type safety proofs: @trims2u undo

curprev 21:4521:45, 19 June 2011 Trims2u talk contribs 54,216 bytes +688 →Java and Standard ML do not have type safety proofs: typesafe failure in Java isn't in Java, it's in the JVM. undo
curprev 21:2321:23, 19 June 2011 SineBot talk contribs m 53,528 bytes +273 Signing comment by 98.210.108.64 - "→Java's type safety: noted that problem was in JVM, not Java language." undo
curprev 21:2221:22, 19 June 2011 98.210.108.64 talk 53,255 bytes +522 →Java's type safety: noted that problem was in JVM, not Java language. undo

curprev 17:0517:05, 5 April 2011 SineBot talk contribs m 52,733 bytes +300 Signing comment by 204.14.239.222 - "→Complete semantic model?: " undo
curprev 17:0417:04, 5 April 2011 204.14.239.222 talk 52,433 bytes +144 →Complete semantic model? undo
curprev 17:0317:03, 5 April 2011 SineBot talk contribs m 52,289 bytes +300 Signing comment by 204.14.239.222 - "→Garbage collection and type safety: " undo
curprev 17:0217:02, 5 April 2011 204.14.239.222 talk 51,989 bytes +537 →Garbage collection and type safety undo

curprev 00:5200:52, 21 January 2011 SineBot talk contribs m 51,452 bytes +306 Signing comment by 150.101.204.108 - "→Questionable claims: " undo
curprev 00:5100:51, 21 January 2011 150.101.204.108 talk 51,146 bytes +620 →Questionable claims undo

curprev 18:3618:36, 10 April 2010 WildBot talk contribs m 50,526 bytes −108 No broken #section links left undo

curprev 02:5202:52, 21 March 2010 WildBot talk contribs 50,634 bytes +87 Found broken #section links to Generic programming#Generic programming in C# and .NET; WildBot was summoned undo

curprev 13:3313:33, 20 March 2010 FrescoBot talk contribs m 50,547 bytes +21 Bot: suspected broken section links undo

curprev 08:4508:45, 2 December 2009 SineBot talk contribs m 50,526 bytes +300 Signing comment by 79.154.168.94 - "→Contradictory?: " undo
curprev 08:4408:44, 2 December 2009 79.154.168.94 talk 50,226 bytes +148 →Contradictory? undo

curprev 16:2116:21, 10 August 2009 Krischik talk contribs 50,078 bytes +485 →Contradictory?: nope - just difficult to read and understand. undo

curprev 20:0920:09, 29 July 2009 151.202.239.74 talk 49,593 bytes +119 →Contradictory? undo
curprev 20:0820:08, 29 July 2009 151.202.239.74 talk 49,474 bytes +41 →Contradictory? undo

curprev 00:5400:54, 5 October 2008 SineBot talk contribs m 49,433 bytes +296 Signing comment by 96.242.156.9 - "→Contradictory?: new section" undo
curprev 00:5300:53, 5 October 2008 96.242.156.9 talk 49,137 bytes +366 →Contradictory?: new section undo

curprev 20:5220:52, 8 August 2008 Reinderien talk contribs 48,771 bytes +865 →Degrees or interpretations of type safety undo

curprev 09:2009:20, 2 November 2007 Glass Tomato talk contribs 47,906 bytes +143 Garbage collection and type safety? undo

curprev 15:5115:51, 12 October 2007 Glyn normington talk contribs 47,763 bytes +392 →Java's type safety undo

curprev 13:3513:35, 18 June 2007 Derek farn talk contribs 47,371 bytes −58 Undid revision 138955864 by 61.5.139.194 (talk) undo
curprev 11:2711:27, 18 June 2007 61.5.139.194 talk 47,429 bytes +58 No edit summary undo

curprev 09:5809:58, 1 June 2007 JoeKearney talk contribs m 47,371 bytes +525 →Java and Standard ML do not have type safety proofs: Java fails to be typesafe, but only under esoteric conditions undo

curprev 22:1922:19, 22 March 2007 60.226.170.237 talk 46,846 bytes 0 No edit summary undo
curprev 22:1722:17, 22 March 2007 60.226.170.237 talk 46,846 bytes +903 No edit summary undo
curprev 08:4408:44, 22 March 2007 Derek farn talk contribs 45,943 bytes +505 It's all theorectical you know undo
curprev 02:0502:05, 22 March 2007 202.47.46.70 talk 45,438 bytes +1,013 No edit summary undo

curprev 11:0011:00, 3 February 2007 71.206.199.131 talk 44,425 bytes +354 No edit summary undo

curprev 21:5521:55, 22 September 2006 Cjoev talk contribs 44,071 bytes +555 Reverted deletions undo

curprev 18:4418:44, 15 September 2006 Cjoev talk contribs 43,516 bytes +610 →Degenerate type system?: Why not "value"? undo

curprev 03:4403:44, 11 June 2006 Simetrical talk contribs 42,906 bytes +1,950 →Degenerate type system?: I hate how things on your watchlist can just slip by. Go m:LiquidThreads! undo

curprev 00:0700:07, 26 May 2006 Cjoev talk contribs 40,956 bytes +1,217 →Degenerate type system?: reply undo

24 January 2024

15 May 2023

14 January 2023

14 December 2017

15 August 2014

8 May 2014

27 June 2013

28 April 2012

12 March 2012

16 February 2012

30 January 2012

21 June 2011

19 June 2011

5 April 2011

21 January 2011

10 April 2010

21 March 2010

20 March 2010

2 December 2009

10 August 2009

29 July 2009

5 October 2008

8 August 2008

2 November 2007

12 October 2007

18 June 2007

1 June 2007

22 March 2007

3 February 2007

22 September 2006

15 September 2006

11 June 2006

26 May 2006