Continuation Models for the Lambda Calculus With Constructors (Q3178293)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Continuation Models for the Lambda Calculus With Constructors |
scientific article |
Statements
Continuation Models for the Lambda Calculus With Constructors (English)
0 references
8 July 2016
0 references
lambda calculus
0 references
pattern matching
0 references
continuation-passing-style transformation
0 references
categorical semantics
0 references
continuation model
0 references
