首页|Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

Haotian Deng Siyuan He Songlin Jia Yuyan Bao Tiark Rompf

DOI：10.1145/3763172

来源：

Arxiv

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

Haotian Deng Siyuan He Songlin Jia Yuyan Bao Tiark Rompf

作者信息

引用本文复制引用

Haotian Deng,Siyuan He,Songlin Jia,Yuyan Bao,Tiark Rompf.Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)[EB/OL].(2025-08-29)[2025-12-13].https://arxiv.org/abs/2503.07328.

学科分类

计算技术、计算机技术

首发时间： 2025-08-29

下载量：0

点击量：8

段落导航

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

Complete the Cycle: Reachability Types with Expressive Cyclic References (Extended Version)

引用本文复制引用

学科分类

评论