Proposal for a natural formalization of functional programming concepts (Q3793721)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proposal for a natural formalization of functional programming concepts |
scientific article |
Statements
Proposal for a natural formalization of functional programming concepts (English)
0 references
1988
0 references
functional programming
0 references
combinatory logic
0 references
formalization
0 references
formal theory
0 references
uncurryfied combinator
0 references
polyadic application
0 references
semantics
0 references
Graal language
0 references
