Using transformations in the implementation of higher-order functions (Q4939691)
From MaRDI portal
scientific article; zbMATH DE number 1400710
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using transformations in the implementation of higher-order functions |
scientific article; zbMATH DE number 1400710 |
Statements
Using transformations in the implementation of higher-order functions (English)
0 references
9 February 2000
0 references
functional language
0 references
categorical combinators
0 references
specifications of abstract interpretations
0 references
program transformations
0 references
