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
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…
2021年8月20日
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月12日
acm.org
Resolution as intersection subtyping via Modus Ponens | Proceedings of the ACM on Programming Languages
Resolution as intersection subtyping via Modus Ponens | Proceedings of t…
2020年11月13日
acm.org
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages
The simple essence of algebraic subtyping: principal type inference wi…
2020年8月18日
acm.org
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
Decidable subtyping for path dependent types | Proceedings of th…
2019年12月20日
acm.org
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
Decidable subtyping for path dependent types | Proceedings of th…
2019年12月20日
acm.org
Empowering union and intersection types with integrated subtyping | Pro…
2021年3月30日
acm.org
Empowering union and intersection types with integrated subtyping | Pro…
2018年10月24日
acm.org
Empowering union and intersection types with integrated subtyping | Pro…
2018年10月24日
acm.org
Gradual typing: a new perspective | Proceedings of the ACM on Program…
2019年1月2日
acm.org
Distributing intersection and union types with splits and duality (function…
2021年8月30日
acm.org
Distributing intersection and union types with splits and duality (function…
2021年8月30日
acm.org
QuickSub: Efficient Iso-Recursive Subtyping | Proceedings of the ACM …
2025年1月9日
acm.org
Revisiting iso-recursive subtyping | Proceedings of the ACM on Program…
2020年11月14日
acm.org
Study of the subtyping machine of nominal subtyping with variance | Pr…
2021年10月15日
acm.org
A unified view of modalities in type systems | Proceedings of the ACM o…
2020年8月7日
acm.org
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedin…
1 个月前
acm.org
Label dependent lambda calculus and gradual typing | Proceedings of the A…
2021年10月15日
acm.org
Label dependent lambda calculus and gradual typing | Proceedings of the A…
2021年10月15日
acm.org
Typing Records, Maps, and Structs | Proceedings of the ACM on Program…
2023年9月9日
acm.org
Semantic subtyping with an SMT solver | ACM SIGPLAN Notices
2010年9月27日
acm.org
Subtyping delimited continuations | ACM SIGPLAN Notices
2020年4月20日
acm.org
Semantic subtyping with an SMT solver | Proceedings of the 15th AC…
2010年9月27日
acm.org
4:40
SubtitleEdit 训练－机翻与中英合并
已浏览 575 次2022年9月11日
bilibilibili_44377937701
Module-arrow subtyping. Following up on the previous exercise, ... | Filo
已浏览 5152 次1 年前
askfilo.com
0:28
30秒掌握“sub-”核心！轻松理解“在下”与“次级”。#单词前缀 #英语前缀 #趣味 …
2 个月之前
douyin.com郑州灵答英语·二七区优娃基地升龙校区
Subtyping delimited continuations | Proceedings of the 16th ACM SIGPL…
2011年9月19日
acm.org
6:21
99.正则表达式sub方法与split方法
已浏览 323 次2024年5月4日
bilibili杨淑娟Python
Compositional Interface Refinement Through Subtyping in Probabilistic S…
1 个月前
acm.org
观看更多视频
静态缩略图占位符