The Sketch of a Polymorphic Symphony (2002)

by R L ammel
Venue:Proc. of Inter. Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002), volume 70 of ENTCS. Elsevier Science