M Kellogg, D Daskiewicz, LND Nguyen… - 2023 38th IEEE/ACM …, 2023 - ieeexplore.ieee.org
A pluggable type system extends a host programming language with type qualifiers. It lets
programmers write types like unsigned int, secret string, and nonnull object. Typechecking …