3 ms·
Yeah, that paper is interesting, and I've definitely leveraged Java's types to verify some pretty powerful assertions.
by kerkeslager 9y ago
Yeah, that paper is interesting, and I've definitely leveraged Java's types to verify some pretty powerful assertions.