1 paper
Jonas Mittnacht, Florian Lanzinger
Pluggable type systems extend the basic type system of a programming language by introducing additional type hierarchies to specify more complex properties and dependencies between…