A behavioral notion of subtyping | ACM Transactions on Programming Languages and Systems
A behavioral notion of subtyping | ACM Transactions on Programming Langu…
3 个月之前
acm.org
Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Empowering union and intersection types with integrated subtyping | Pro…
2021年3月30日
acm.org
Distributing intersection and union types with splits and duality (functional pearl) | Proceedings of the ACM on Programming Languages
Distributing intersection and union types with splits and duality (function…
2021年8月30日
acm.org
Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Empowering union and intersection types with integrated subtyping | Pro…
2018年10月24日
acm.org
A theory of higher-order subtyping with type intervals | Proceedings of the ACM on Programming Languages
A theory of higher-order subtyping with type intervals | Proceedings of the A…
2025年1月1日
acm.org
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedings of the ACM on Programming Languages
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedin…
3 个月之前
acm.org
Type-level programming with match types | Proceedings of the ACM on Programming Languages
Type-level programming with match types | Proceedings of the ACM on P…
2022年1月18日
acm.org
The simple essence of algebraic subtyping: principal type inference wi…
2020年8月18日
acm.org
QuickSub: Efficient Iso-Recursive Subtyping | Proceedings of the ACM …
8 个月之前
acm.org
Type-level programming with match types | Proceedings of the ACM on P…
2022年1月23日
acm.org
Gradual typing: a new perspective | Proceedings of the ACM on Program…
2020年1月13日
acm.org
Decidable subtyping for path dependent types | Proceedings of th…
2020年2月21日
acm.org
Revisiting iso-recursive subtyping | Proceedings of the ACM on Program…
2020年11月14日
acm.org
Decidable subtyping for path dependent types | Proceedings of th…
2019年12月20日
acm.org
Subtyping delimited continuations | ACM SIGPLAN Notices
2020年4月20日
acm.org
23:50
【古法编程-Python标准库-SubProcess】传统手艺人，手把 …
已浏览 231 次1 个月前
bilibili北屿青禾
Semantic subtyping with an SMT solver | ACM SIGPLAN Notices
2010年9月27日
acm.org
Resolution as intersection subtyping via Modus Ponens | Proceedings of t…
2020年11月21日
acm.org
1:24:34
Simon Peyton Jones on Haskell,Verse,Strong Type Systems …
已浏览 361 次1 个月前
bilibili帆影
2:45
自制sub 提升打字速度 快速打字 打字准确率提升 打字超级快 工作打字速 …
已浏览 183 次2 个月之前
bilibili妞妞小喵
Shared subtypes: subtyping recursive parametrized algebraic data types: A…
2008年9月25日
acm.org
1:22
subtitle在编程里怎么用
8 个月之前
douyin.com
Semantic subtyping with an SMT solver | Proceedings of the 15th AC…
2019年12月31日
acm.org
1:37
【显化sub】*学习潜力开发*效率提高*学习天才*迅速提分*
已浏览 2073 次2024年3月1日
bilibiliiris-orr379
5:59
【字幕学习教程】VobSub/Sup字幕转Srt字幕
已浏览 2.5万 次2020年7月17日
bilibili我在成都养熊猫
1:34:57
【中文配音】《Crust of Rust：子类型与变型（Variance）》
已浏览 108 次2 个月之前
bilibili程序员韩老魔
25:37
字幕编辑制作详细教程（以SubEdit字幕软件为例）| 曼谛幕后 · 志愿者
已浏览 1785 次2022年2月20日
zhihu.com曼谛悟思 冥想
2:04
自制sub 写小说轻松签约 理想主编 技巧提升 安全写作 无黑粉 码字速度变 …
已浏览 220 次1 个月前
bilibili林茜茜酥饼
1:48
〖SUB〗语言类的学习天才＊学习显化＊语言类考试一次过
已浏览 71 次7 个月之前
bilibili白上暮川
Formalising Asynchronous Session Subtyping | ACM Transactions on Co…
1 周前
acm.org
观看更多视频
静态缩略图占位符