Sequence unification through currying (2007)

by Temur Kutsia , Jordi Levy , Mateu Villaret
Venue:IN: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS, RTA’07, LNCS
Citations:4 - 3 self