Sciweavers

CSL
2009
Springer

Efficient Type-Checking for Amortised Heap-Space Analysis

13 years 10 months ago
Efficient Type-Checking for Amortised Heap-Space Analysis
Martin Hofmann, Dulma Rodriguez
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where CSL
Authors Martin Hofmann, Dulma Rodriguez
Comments (0)