MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A type theory for memory allocation and data layout." – 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
  • A Type Theory for Memory Allocation and Data Layout  
  • by Leaf Petersen Robert, Robert Harper, Karl Crary, Frank Pfenning — 2003 — In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  • …A Type Theory for Memory Allocation and Data Layout # Leaf Petersen Robert Harper Karl Crary…
  • Add To MetaCart
  • General Terms Languages, Theory  
  • by Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning
  • … A Type Theory for Memory Allocation and Data Layout * Leaf Petersen Robert Harper Karl Crary…
  • Add To MetaCart
  • A Type Theory for Memory Allocation and Data  
  • by Layout Extended Version, Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning — 2003 — In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
  • …A Type Theory for Memory Allocation and Data Layout (Extended Version) Leaf Petersen Robert Harper…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB