Abstract: Main-stream type systems do not prevent errors such as null-pointer exceptions, security problems, and con-currency errors. Optional Properties (Opprop) or pluggable type systems provide ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results