Heinz Kredel, Raphael Jolly. Algebraic Structures as Typed Objects. In Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov, editors, Computer Algebra in Scientific Computing - 13th International Workshop, CASC 2011, Kassel, Germany, September 5-9, 2011. Proceedings. Volume 6885 of Lecture Notes in Computer Science, pages 294-308, Springer, 2011. [doi]
Abstract is missing.