A Type Theory for Memory Allocation and Data Layout (Extended Version) (2002)

by Leaf Petersen , Robert Harper , Karl Crary , Frank Pfenning
Venue:In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:27 - 3 self