Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation (1992)

by Steffen van Bakel , Sjaak Smetsers , Simon Brock
Citations:11 - 10 self