A Dependently Typed Framework for Static Analysis of Program Execution Costs (2005)

Cached

Download Links

by Edwin Brady , Kevin Hammond
Venue:In Revised selected papers from IFL 2005: 17th international workshop on implementation and application of functional languages
Citations:13 - 9 self