The sketch of a polymorphic symphony (2002)

by Ralf Lämmel
Venue:In Proc. of International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), volume 70 of ENTCS. Elsevier Science