A Type System Describing Unboundedness (Q3386622)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Type System Describing Unboundedness |
scientific article |
Statements
5 January 2021
0 references
simultaneous-unboundedness problem
0 references
higher-order recursion schemes
0 references
intersection types
0 references
reflection
0 references
A Type System Describing Unboundedness (English)
0 references
