Improving on Types: Specing a Java Library

Good application developers use existing libraries rather than reinventing
every wheel. This is particularly true on the JVM, where there are a huge
number of wheels to choose from. So in addition to writing good code,
developers need be able to ass… Read more