会员服务
多态性是指在类定义中出现多个构造方法或出现多个同名的成员方法。多态性包括两种类型:静态多态性,动态多态性。
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日
A Calculus for Scoped Effects & Handlers
Arxiv
0+阅读 · 2023年4月19日
Denotational semantics of general store and polymorphism
Arxiv
0+阅读 · 2023年4月12日
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Arxiv
0+阅读 · 2023年4月4日
参考链接
微信扫码咨询专知VIP会员
Top