MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Subtyping dependent types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 80 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Subtyping Dependent Types  
  • by Summary David, David Aspinall, Adriana Compagnoni — 1996 — In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science
  • …Subtyping Dependent Types (summary) David Aspinall LFCS, Department of Computer Science…
  • Add To MetaCart
  • Principles and pragmatics of subtyping in PVS  
  • by Natarajan Shankar, Sam Owre — 1999 — Recent Trends in Algebraic Development Techniques, WADT ’99. Volume 1827 of Lecture Notes in Computer Science
  • … is based on higher-order logic enriched with features such as predicate subtypes, dependent types…
  • Cited by 3 (0 self) – Add To MetaCart
  • Coercive Subtyping in Type Theory  
  • by Zhaohui Luo — 1996 — Proc. of CSL'96, the 1996 Annual Conference of the European Association for Computer Science Logic, Utrecht. LNCS 1258
  • ….luo@(email omitted); Abstract We propose and study coercive subtyping, a formal extension with subtyping of dependent type…
  • Cited by 20 (9 self) – Add To MetaCart
  • Elements of Mathematical Analysis in PVS  
  • by Bruno Dutertre — 1996 — Ninth international Conference on Theorem Proving in Higher Order Logics TPHOL
  • … includes complex typing mechanisms such as predicate subtypes or dependent types. It offers an expressive…
  • Cited by 15 (0 self) – Add To MetaCart
  • INternet SECURITY and Cryptographic Protocols  
  • by Sivakumar Computer Science, G. Sivakumar, Session Keys (diffie-hellman, Petrinets Csp, Strand Spaces
  • … typing (subtypes and dependent types) -- Very extensively used STeP (Standford Temporal Prover…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB