Searching for "A step-indexed model of substructural state." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

A step-indexed model of substructural state
by Amal Ahmed — 2005 — In: Proc. International Conference on Functional Programming. (2005) 78–91
…Abstract A Step-Indexed Model of Substructural State Amal Ahmed Harvard University amal…
Cited by 6 (4 self) – Add To MetaCart

TEACHING EXPERIENCE
by Amal Ahmed
… Ahmed, Matthew Fluet, and Greg Morrisett. A Step-Indexed Model of Substructural State. In 10th ACM…
Add To MetaCart

Showing 1 through 2.

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