Dynamically-Typed Computations for Order-Sorted Equational Presentations (Extended Abstract) (1994)

by Claus Hintermeier, Claude Kirchner, Hélène Kirchner
Venue:Proc. 21st International Colloquium on Automata, Languages, and Programming, volume 820 of Lecture Notes in Computer Science