Skip to content

Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.

Jacek Leszczylowski, Martin Wirsing

VenueASTACS
Year1991
ProceedingsSTACS

Browse the full STACS paper archive.