Abstract machines, optimal reduction, and streams (Q5108536)
From MaRDI portal
scientific article; zbMATH DE number 7196238
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstract machines, optimal reduction, and streams |
scientific article; zbMATH DE number 7196238 |
Statements
Abstract machines, optimal reduction, and streams (English)
0 references
4 May 2020
0 references
geometry of interaction
0 references
parallel implementation
0 references
functional programming
0 references
streams
0 references
linear logic
0 references
Curry-Howard isomorphism
0 references
0 references
0 references
0 references
