Polymorphic Delimited Continuations (Q3498441)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Polymorphic Delimited Continuations |
scientific article |
Statements
Polymorphic Delimited Continuations (English)
0 references
15 May 2008
0 references
Type System
0 references
Delimited Continuation
0 references
Control Operator
0 references
CPS Translation
0 references
Predicative/Impredicative Polymorphism
0 references
