Searching for "Type-safe cast functional pearl." – 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.

Type-Safe Cast: Functional Pearl
by Stephanie Weirich — 2000 — In Proc. ICFP, Montreal
…Type-Safe Cast Functional Pearl Stephanie Weirich Department of Computer Science Cornell…
Cited by 24 (1 self) – Add To MetaCart

Language-based security
by Stephanie Weirich, Advisor Greg Morrisett — 2005 — J. Funct. Program
…, pages 147–176. Springer, 2001. Curriculum Vitae, Stephanie Weirich 3 [5] Stephanie Weirich. Type-Safe…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

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