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

Cached

Download Links

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
Citations:10 - 8 self

Document Versions

Dynamically-Typed Computations for Order-Sorted Equational Presentations (Extended Abstract) –Claus Hintermeier, Claude Kirchner, Hélène Kirchner — 1994 — Proc. 21st International Colloquium on Automata, Languages, and Programming, volume 820 of Lecture Notes in Computer Science