Universes: A type system for controlling representation exposure (1999)

by P Müller, A Poetzsch-Heffter