The abstract we saw in class is http://qconlondon.com/london-2009/presentation/Null+References:+The+Billion+Dollar+Mistake An overview of non-null reference types with emphasis on java: http://www.disi.unige.it/person/AnconaD/FTfJP06/paper03.pdf Nice is a generalized java that runs on the jvm; it divides references into never-null and possibly null types: http://nice.sourceforge.net/manual.html#optionTypes Information about spec#, including an overveiw paper: http://research.microsoft.com/en-us/projects/specsharp/Received on Thu Jan 22 2009 - 23:09:03 EST
This archive was generated by hypermail 2.2.0 : Thu Jan 29 2009 - 00:02:42 EST