Skip to content

Dynamically-Typed Computations for Order-Sorted Equational Presentations.

Claus Hintermeier, Claude Kirchner, Hlne Kirchner

VenueA*ICALP
Year1994
ProceedingsICALP

Browse the full ICALP paper archive.