A framework for semiring-annotated type systems - Wood, James (2024)