MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Higher-Order Intensional Type Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Language-based security  
  • by Stephanie Weirich, Advisor Greg Morrisett — 2005 — J. Funct. Program
  • … [1] Stephanie Weirich. Higher-Order Intensional Type Analysis. In Daniel Le Métayer, editor…
  • Cited by 1 (0 self) – Add To MetaCart
  • Type-Indexed Data Types  
  • by Ralf Hinze, Johan Jeuring, Andres Loh, C Andres Löh B — 2004 — Science of Computer Programming
  • … of kind ⋆. Building upon Hinze’s work, Weirich recently generalized intensional type analysis to higher-order…
  • Cited by 43 (16 self) – Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB