Searching for "Syntactic Logical Relations for Polymorphic and Recursive Types." – 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.

GDP Festschrift ENTCS, to appear Syntactic Logical Relations for Polymorphic and Recursive Types
by Robert Harper Computer, Karl Crary, Robert Harper
…GDP Festschrift ENTCS, to appear Syntactic Logical Relations for Polymorphic and Recursive Types…
Add To MetaCart

Showing 1 through 1.

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