Searching for "The logical approach to stack typing." – 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.

The Logical Approach to Stack Typing
by Amal Ahmed, David Walker — 2003
…ABSTRACT The Logical Approach to Stack Typing ∗ We develop a logic for reasoning about adjacency…
Cited by 21 (4 self) – Add To MetaCart

TEACHING EXPERIENCE
by Amal Ahmed
…. [14] Amal Ahmed and David Walker. The Logical Approach to Stack Typing. In ACM SIGPLAN Workshop…
Add To MetaCart

Showing 1 through 2.

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