Partial type assignment in left-linear term rewriting systems (1992)

by Bakel S van, S Smetsers, S Brock
Venue:Proc. of 17th Colloqium on Trees and Algebra in Programming (CAAP'92