Searching for "Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers" – 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.

Language-based security
by Stephanie Weirich, Advisor Greg Morrisett — 2005 — J. Funct. Program
… Code. In R. Harper, editor, Types in Compilation: Third International Workshop, TIC 2000; Montreal…
Cited by 1 (0 self) – Add To MetaCart

Type- and Flow-Directed Compilation for Specialized Data Representations
by Allyn Dimock — 2002
…, and Jerey Considine which appears in \Types In Compilation Third International Workshop, TIC 2000 Montreal…
Add To MetaCart

Showing 1 through 2.

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