@dblp

Partial Deduction in the Framework of Structural Synthesis of Programs.

, , and . LOPSTR, volume 1207 of Lecture Notes in Computer Science, page 239-255. Springer, (1996)

Links and resources

Tags