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 (functional pearl) | Proceedings of the ACM on Programming Languages
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 | Proceedings of the ACM on Programming Languages
2018年10月24日
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 (functional pearl) | Proceedings of the ACM on Programming Languages
2021年8月30日
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 ACM on Programming Languages
2021年8月20日
acm.org
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedings of the ACM on Programming Languages
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedings of the ACM on Programming Languages
2 个月之前
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 Programming Languages
2022年1月18日
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 with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages
2020年8月18日
acm.org
Type-level programming with match types | Proceedings of the ACM on Programming Languages
2022年1月12日
acm.org
QuickSub: Efficient Iso-Recursive Subtyping | Proceedings of the ACM on Programming Languages
7 个月之前
acm.org
Gradual typing: a new perspective | Proceedings of the ACM on Programming Languages
2019年1月2日
acm.org
Revisiting iso-recursive subtyping | Proceedings of the ACM on Programming Languages
2020年11月14日
acm.org
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
2019年12月20日
acm.org
Subtyping delimited continuations | ACM SIGPLAN Notices
2020年4月20日
acm.org
Semantic subtyping with an SMT solver | ACM SIGPLAN Notices
2010年9月27日
acm.org
1:24:34
Simon Peyton Jones on Haskell,Verse,Strong Type Systems and Tasteful Abstraction
已浏览 324 次2 周前
bilibili帆影
Semantic subtyping with an SMT solver | Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
2010年9月27日
acm.org
1:34:57
【中文配音】《Crust of Rust：子类型与变型（Variance）》
已浏览 108 次2 个月之前
bilibili程序员韩老魔
Label dependent lambda calculus and gradual typing | Proceedings of the ACM on Programming Languages
2021年10月15日
acm.org
Label dependent lambda calculus and gradual typing | Proceedings of the ACM on Programming Languages
2024年8月5日
acm.org
A unified view of modalities in type systems | Proceedings of the ACM on Programming Languages
2020年8月7日
acm.org
Label dependent lambda calculus and gradual typing | Proceedings of the ACM on Programming Languages
2021年10月17日
acm.org
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc | Proceedings of the ACM on Programming Languages
2023年8月31日
acm.org
Subtyping delimited continuations | Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
2011年9月19日
acm.org
When Separation Logic met Java
2009年10月31日
Microsoft
Do you believe subtyping is a model of stereotype change or ste... | Filo
11 个月之前
askfilo.com
Lecture 19: Disease Progression Modeling and Subtyping, Part 2 | Machine Learning for Healthcare | Electrical Engineering and Computer Science | MIT OpenCourseWare
2022年4月3日
mit.edu
10:37
Compilers-09-06- Type Environments Part 1 (10m38s)
已浏览 21 次2021年4月19日
bilibiliBernie123456
A unified view of modalities in type systems | Proceedings of the ACM on Programming Languages
2024年9月14日
acm.org
3:08
IF=15.1，纯公开数据集发表，多模态深度学习框架
已浏览 623 次2 个月之前
bilibili李艾钧工作室
NGS Tutorial 1. Sequence Analysis (Version 1)
2024年11月11日
geneiousbiologics.com
展开