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.

A tale of intersection types

Bono V.;Dezani-Ciancaglini M.
2020-01-01

Abstract

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.
2020
35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020
Online, hosted in Saarland, Germany
2020
LICS'20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020
ACM
7
20
978-1-4503-7104-9
https://doi.org/10.1145/3373718.3394733
intersection types; lambda calculus; semantics
Bono V.; Dezani-Ciancaglini M.
File in questo prodotto:
File Dimensione Formato  
bd.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 715.66 kB
Formato Adobe PDF
715.66 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1758049
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 2
social impact