Curry-Style Types for Nominal Terms (Q3612440)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Curry-Style Types for Nominal Terms |
scientific article |
Statements
Curry-Style Types for Nominal Terms (English)
0 references
10 March 2009
0 references
binding
0 references
polymorphism
0 references
type inference
0 references
rewriting
0 references
