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.
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.
