Foundational Typed Assembly Language with Certified Garbage Collection.

Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo

Browse the full TASE paper archive.