1 paper · 1 filter
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…