Context Dependent Procedures and Computed Types in -eriFun. - Andreas Schlosser; Christoph Walther; Michael Gonder; Markus Aderhold (PLPV@IJCAR, 2006)