MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Robert Cartwright" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 24 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Soundness of Component NextGen  
  • by James Sasitorn, Robert Cartwright — 2007
  • …The Soundness of Component NextGen James Sasitorn Robert Cartwright camus@(email omitted); cork…
  • Add To MetaCart
  • Extensible Denotational Language Specifications  
  • by Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen — 1994 — Symposium on Theoretical Aspects of Computer Software, number 789 in LNCS
  • …Extensible Denotational Language Specifications Robert Cartwright, Matthias Felleisen Department…
  • Cited by 28 (4 self) – Add To MetaCart
  • The Semantics of Program Dependence  
  • by Robert Cartwright, Matthias Felleisen — 1989 — Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation
  • …The Semantics of Program Dependence Robert Cartwright, Matthias Felleisen Department…
  • Cited by 57 (0 self) – Add To MetaCart
  • Soft Typing  
  • by Robert Cartwright, Mike Fagan — 1991
  • …Soft Typing Robert Cartwright and Mike Fagan Department of Computer Science Rice University Houston…
  • Cited by 150 (2 self) – Add To MetaCart
  • Extensible Denotational Language Specifications  
  • by Robert Cartwright And, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen — 1994 — Symposium on Theoretical Aspects of Computer Software, number 789 in LNCS
  • …Extensible Denotational Language Specifications Robert Cartwright, Matthias Felleisen Department…
  • Add To MetaCart
  • Sequential Languages  
  • by Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
  • … Fully Abstract Semantics for Observably Sequential Languages Robert Cartwright Pierre…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB