| Original language | English |
|---|---|
| Pages | 102-124 |
| Publication status | Published - 1 Jan 1992 |
| Event | CAAP 92 - Duration: 1 Jan 1992 → … |
Conference
| Conference | CAAP 92 |
|---|---|
| Period | 1/01/92 → … |
A Complete Type Inference Algorithm for Simple Intersection Types
M. Coppo, Paola GIANNINI
Research output: Contribution to conference › Paper › peer-review