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

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