![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 4015 || A Dependently Typed Framework for Static Analysis of Program Execution Costs
Butterfield, Andrew, Grelck, Clemens, Huch, FrankVolume:
10.1007/11
Year:
2006
Language:
english
DOI:
10.1007/11964681_5
File:
PDF, 430 KB
english, 2006