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月19日
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月19日
acm.org
Distributing intersection and union types with splits and duality (function…
2021年8月19日
acm.org
Revisiting iso-recursive subtyping | Proceedings of the ACM on Program…
2020年11月13日
acm.org
QuickSub: Efficient Iso-Recursive Subtyping | Proceedings of the ACM …
2025年1月9日
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月3日
acm.org
Shared subtypes: subtyping recursive parametrized algebraic data types: A…
2008年9月25日
acm.org
A unified view of modalities in type systems | Proceedings of the ACM o…
2020年8月3日
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年8月31日
acm.org
Semantic subtyping with an SMT solver | Proceedings of the 15th AC…
2010年9月27日
acm.org
Instance chains: type class programming without overlapping ins…
2010年9月27日
acm.org
Module-arrow subtyping. Following up on the previous exercise, ... | Filo
已浏览 5152 次11 个月之前
askfilo.com
Subtyping delimited continuations | Proceedings of the 16th ACM SIGPL…
2011年9月19日
acm.org
Generic Programming with Extensible Data Types: Or, Making Ad Hoc Exte…
2023年8月31日
acm.org
Compositional Interface Refinement Through Subtyping in Probabilistic S…
1 个月前
acm.org
Lecture 19: Disease Progression Modeling and Subtyping, Part 2 | Ma…
2022年4月3日
mit.edu
观看更多视频
静态缩略图占位符