Stem bta$ (all stems)
1 papers:
LOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
LOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code