No label defined (Q4263869)
From MaRDI portal
scientific article; zbMATH DE number 1342279
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1342279 |
Statements
21 November 1999
0 references
second-order \(\lambda\)-calculus
0 references
explicitly typed \(\lambda\mu\)-calculus
0 references
call-by-value
0 references
Church-style
0 references
Curry-style polymorphic calculi
0 references
continuation semantics
0 references
CPS-translation
0 references
Damas-Milner system
0 references
\(\mu\)-operators
0 references
standard ML
0 references