Searching for "A Dependently Typed Framework for Static Analysis of Program Execution Costs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A Dependently Typed Framework for Static Analysis of Program Execution Costs
by Edwin Brady, Kevin Hammond — 2005 — In Revised selected papers from IFL 2005: 17th international workshop on implementation and application of functional languages
…A Dependently Typed Framework for Static Analysis of Program Execution Costs Edwin Brady and Kevin…
Cited by 9 (6 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB