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

by P Müller, A Poetzsch-Heffter
Venue:Programming Languages and Fundamentals of Programming, Fernuniversität