A Type Theory for Memory Allocation and Data Layout
Presented on February 7, 2019
Presenter: Nemanja
Presenter: Nemanja
Preview
Nemanja will present the paper “A Type Theory for Memory Allocation and Data Layout” by Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning.