No label defined (Q4217956)
From MaRDI portal
scientific article; zbMATH DE number 1222431
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1222431 |
Statements
21 June 1999
0 references
polymorphic call-by-value calculus
0 references
proof reductions
0 references
CPS-translation
0 references
Damas-Milner type system
0 references
Church-Rosser property
0 references
type inference algorithm
0 references
rewriting semantics
0 references
