Searching for "Alias Types for Recursive Data Structures." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

Alias Types for Recursive Data Structures
by David Walker, Greg Morrisett — 2000
…Abstract Alias Types for Recursive Data Structures ∗ Linear type systems permit programmers…
Cited by 115 (15 self) – Add To MetaCart

Alias Types for Recursive Data Structures
by Extended Version David
…Abstract Alias Types for Recursive Data Structures ∗ (Extended Version) Linear type systems permit…
Add To MetaCart

166 Bibliography
by Joshua James Berdine
… and Greg Morrisett. Alias types for recursive data structures. Lecture Notes in Computer Science, 2071…
Add To MetaCart

Showing 1 through 3.

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