Sciweavers

PEPM
1994
ACM

Improving Programs Which Recurse over Multiple Inductive Structures

14 years 4 months ago
Improving Programs Which Recurse over Multiple Inductive Structures
Leonidas Fegaras, Tim Sheard, Tong Zhou
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where PEPM
Authors Leonidas Fegaras, Tim Sheard, Tong Zhou
Comments (0)