A tale of intersection types
A tale of intersection types
复制标题
十字路口类型的故事
DOI：
10.1145/3373718.3394733
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
M. Dezani
中科院分区：
文献类型：
--
作者：
V. Bono;M. Dezani
自七十年代引入以来，交叉点已经走了很长一段路。编程语言的表达性。
Intersection types have come a long way since their introduction in the Seventies. They have been exploited for characterising behaviours of λ-terms and π-calculus processes, building λ-models, verifying properties of higher-order programs, synthesising code, and enriching the expressivity of programming languages. This paper is a light overview of intersection types and some of their applications.
渐进打字：新视角
影响因子：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
通讯作者：
Siek, Jeremy G.