Anya Helene Bagge, Magne Haveraaen. Specification of generic APIs, or: why algebraic may be better than pre/post. In Michael Feldman, S. Tucker Taft, editors, Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, HILT 2014, Portland, Oregon, USA, October 18-21, 2014. pages 71-80, ACM, 2014. [doi]
Abstract is missing.