Lambda the Ultimate
non-null types in an OO language
started 2/25/2003; 3:05:17 PM - last post 2/25/2003; 3:05:17 PM
- non-null types in an OO language
2/25/2003; 3:05:17 PM (reads: 181, responses: 0)
Declaring and checking non-null types in an object-oriented language
This paper gives a proposal for retroﬁtting a language such as C# or Java with non-null types.