Higher-order Transformations and Type Simulations (Q3813272)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher-order Transformations and Type Simulations |
scientific article |
Statements
Higher-order Transformations and Type Simulations (English)
0 references
1988
0 references
updating with impunity
0 references
lazy functional programming language
0 references
higher- order program transformations
0 references
higher-order accumulation
0 references
type simulation
0 references
code generator
0 references