MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Types" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 467,622 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Types  
  • by Unboxing Unpointed
  • … Parametricity and Unboxing with Unpointed Types John Launchbury1 and Ross Paterson2 1 Oregon…
  • Add To MetaCart
  • Types  
  • by Pierre Genevès, Nabil Layaïda, Alan Schmitt, Thèmes Com Et Sym, Pierre Genevès, Nabil Layaïda, Alan Schmitt, Thèmes Com, Sym Systèmes Systèmes, Équipes-projets Wam Et Sardes — 2008
  • … Paths and Types Pierre Genevès — Nabil Layaïda — Alan Schmitt inria-00305302, version 3 - 24 Jul 2008 N…
  • Add To MetaCart
  • Is the Type  
  • by Std Toupper Gabriel, Gabriel Dos, Reis Benjamin Kosnik, Inria Sophia, Antipolis Galaad, Red Hat, Upcasing “tokra (old-fashioned
  • …What is the type ofstd::toupper? Gabriel Dos Reis Benjamin Kosnik gdr@(email omitted); bkoz…
  • Add To MetaCart
  • Types  
  • by Max Value
  • …) Modifier Primitive Loops Access Exception Inheritance Miscellaneous Types abstract boolean if private throw…
  • Add To MetaCart
  • Type  
  • by Paul Piwek, Paul Piwek, Paul Piwek, Patrice Husson — 2003
  • … Conversational Agents N.A. N.A. Actual date of delivery July 14, 2003 Deliverable number Deliverable title Type N…
  • Add To MetaCart
  • Type: Type  
  • by unknown authors
  • … MSFP 2008 A Partial Type Checking Algorithm for Type : Type Andreas Abel1 ,3 Institut f…
  • Add To MetaCart
  • Soft typing with conditional types  
  • by Er Aiken — 1994 — In Twenty-First Annual ACM Symposium on Principles of Programming Languages
  • …Soft Typing with Conditional Types Alexander Aiken* and Edward L. Wimmers T. K. Lakshmant IBM…
  • Cited by 170 (13 self) – Add To MetaCart
  • Type Checking Type Classes  
  • by Tobias Nipkow, Christian Prehofer, Tu Munchen — 1993 — In Proc. 20th ACM Symp. Principles of Programming Languages
  • …Type Checking Type Classes Tobias Nipkow and Christian Prehofer TU Munchen yy Abstract We…
  • Cited by 28 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB