会员服务
多态性是指在类定义中出现多个构造方法或出现多个同名的成员方法。多态性包括两种类型:静态多态性,动态多态性。
The complexity of finding coset-generating polymorphisms and the promise metaproblem
Arxiv
0+阅读 · 5月11日
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
Arxiv
0+阅读 · 5月14日
Singleton algorithms for the Constraint Satisfaction Problem
Arxiv
0+阅读 · 3月30日
Quantum Polymorphisms and the Complexity of Quantum Constraint Satisfaction
Arxiv
0+阅读 · 4月1日
Quantum polymorphism characterisation of commutativity gadgets in all quantum models
Arxiv
0+阅读 · 4月1日
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
Arxiv
0+阅读 · 3月23日
Deadlock-free Context-free Session Types
Arxiv
0+阅读 · 2月23日
A categorical perspective on constraint satisfaction: The wonderland of adjunctions
Arxiv
0+阅读 · 2月24日
Conservative Maltsev Constraint Satisfaction Problems
Arxiv
0+阅读 · 2月7日
The complexity of finding coset-generating polymorphisms and the promise metaproblem
Arxiv
0+阅读 · 1月31日
Quantum Polymorphisms and Commutativity Gadgets
Arxiv
0+阅读 · 2025年11月28日
Approximate polymorphisms of predicates
Arxiv
0+阅读 · 2025年11月30日
A Functional Approach to Testing Overall Effect of Interaction Between DNA Methylation and SNPs
Arxiv
0+阅读 · 2025年12月4日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月21日
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code
Arxiv
0+阅读 · 2023年3月15日
参考链接
微信扫码咨询专知VIP会员
Top