Javier Miranda, Edmond Schonberg. Abstract Interface Types in GNAT: Conversions, Discriminants, and C++. In Luís Miguel Pinho, Michael González Harbour, editors, Reliable Software Technologies - Ada-Europe 2006, 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006, Proceedings. Volume 4006 of Lecture Notes in Computer Science, pages 179-190, Springer, 2006. [doi]
Abstract is missing.