Pluggable type checkers and type qualifiers
Abstract
This BOF is for anyone who is interested in type annotations, other extensions to type systems (especially Java's), pluggable type-checkers, and related tools. We will overview recent accomplishments, present tools, ask and answer questions, brainstorm ideas for future work, and discuss other topics of interest.
