Rossberg, Andreas Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society;
Rossberg, A. (2008). Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. In A. Bauer, & M. Mislove (Eds.), Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV) (pp. 313-336). New York, USA: Elsevier.