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