- Pluggable Type Systems in Java 8 http://types.cs.washington.edu/checker-framework/ 24 comments programming
- The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. [x-post from /r/javapro] http://types.cs.washington.edu/checker-framework/ 4 comments java
Linking pages
- GitHub - cxxr/better-java: Resources for writing modern Java https://github.com/cxxr/better-java 414 comments
- sean cassidy : Better Java http://blog.seancassidy.me/better-java.html 40 comments
- sean cassidy : Better Java http://www.seancassidy.me/better-java.html 23 comments
- JSR-308 and the Checker Framework Add Even More Typesafety to jOOQ 3.9 – Java, SQL and jOOQ. https://blog.jooq.org/2016/05/09/jsr-308-and-the-checker-framework-add-even-more-typesafety-to-jooq-3-9/ 16 comments
- GitHub - Vedenin/useful-java-links: A list of useful Java frameworks, libraries, software and hello worlds examples https://github.com/vedenin/useful-java-links/ 10 comments
- Type safety and RNGs. This article is for people writing… | by Mike Hearn | Mike’s blog https://medium.com/@octskyward/type-safety-and-rngs-40e3ec71ab3a 1 comment
- Adrian Sampson: Quala: Custom Type Systems for Clang https://homes.cs.washington.edu/~asampson/blog/quala.html 1 comment
- GitHub - sampsyo/quala: custom type systems for Clang https://github.com/sampsyo/quala#quala-type-qualifiers-for-llvmclang 0 comments
Would you like to stay up to date with Java? Checkout Java
Weekly.
Related searches:
Search whole site: site:types.cs.washington.edu
Search title: The Checker Framework
See how to search.