MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Type Checking" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8,083 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • Physical Type Checking for C  
  • by Satish Chandra, Thomas Reps — 1999 — IN WORKSHOP ON PROGRAM ANALYSIS FOR SOFTWARE TOOLS AND ENGINEERING
  • …Physical Type Checking for C Satish Chandra Thomas Reps Software Production Research Dept. Computer…
  • Cited by 37 (4 self) – Add To MetaCart
  • Dynamic Type Checking in Jalapeño  
  • by Bowen Alpern, Anthony Cocchi, David Grove — 2001 — In Proceedings of the Java Virtual Machine Research and Technology Symposium
  • …Dynamic Type Checking in Jalape~no Bowen Alpern Anthony Cocchi David Grove IBM T. J. Watson…
  • Cited by 9 (2 self) – Add To MetaCart
  • Strict Bidirectional Type Checking  
  • by Adam Chlipala Computer, Adam Chlipala, Robert Harper
  • …@(email omitted); Strict Bidirectional Type Checking Completely annotated lambda terms (such as are arrived at via…
  • Add To MetaCart
  • Type Checking in System . . .  
  • by Christophe Raffalli
  • …type checking in system F Christophe Raalli email: raffalli@(email omitted); Abstract…
  • Add To MetaCart
  • Linear Type Checking  
  • by The Typing Rules
  • …116 Linear -Calculus 6.2 Linear Type Checking The typing rules for the linear -calculus are syntax…
  • Add To MetaCart
  • Type Checking in VIMVAL  
  • by Bradley C. Kuszmaul, Jack B. Dennis, John Guttag, Bradley C. Kuszmaul, Bradley C. Kuszmaul
  • …Type Checking in VIMVAL by Bradley C. Kuszmaui Submitted in partial fulfilhuent…
  • Cited by 1 (1 self) – Add To MetaCart
  • Type checking systems code  
  • by Greg Morrisett — 2002 — In European Symposium on Programming
  • …Type Checking Systems Code Greg Morrisett Cornell University Abstract. Our critical computing…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB