Ambivalent Types for Principal Type Inference with GADTs (Q2937793)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ambivalent Types for Principal Type Inference with GADTs |
scientific article |
Statements
Ambivalent Types for Principal Type Inference with GADTs (English)
0 references
12 January 2015
0 references
