A case for DOT: Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning

被引：0

作者：

Boruch-Gruszecki, Aleksander ^{[1
]}

Waśko, Radoslaw ^{[2
]}

Xu, Yichen ^{[3
]}

Parreaux, Lionel ^{[4
]}

机构：

[1] EPFL, Switzerland

[2] University of Warsaw, Poland

[3] Beijing University of Posts and Telecommunications, China

[4] HKUST, Hong Kong

来源：

arXiv | 2022年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Pattern matching

引用