P.: Synchronisation Analyses for Multiple Recursion Parameters (1996)

by W Chin, S Khoo, Thiemann
Venue:Intl Dagstuhl Seminar on Partial Evaluation (LNCS 1110