Sciweavers

APLAS
2005
ACM

Termination Analysis of Higher-Order Functional Programs

14 years 6 months ago
Termination Analysis of Higher-Order Functional Programs
Damien Sereni, Neil D. Jones
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where APLAS
Authors Damien Sereni, Neil D. Jones
Comments (0)