Sciweavers

62
Voted
PEPM
1994
ACM

Improving Programs Which Recurse over Multiple Inductive Structures

15 years 29 days 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)