Getting There and Back Again (Q5074057)
From MaRDI portal
scientific article; zbMATH DE number 7523101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Getting There and Back Again |
scientific article; zbMATH DE number 7523101 |
Statements
Getting There and Back Again (English)
0 references
6 May 2022
0 references
TABA
0 references
recursion pattern
0 references
list processing
0 references
symbolic convolutions
0 references
eta redexes
0 references
Coq Proof Assistant
0 references
There and Forth Again (TAFA)
0 references
defunctionalization and refunctionalization
0 references
lambda-lifting and lambda-dropping
0 references
lightweight fusion and lightweight fission
0 references
continuations
0 references
0 references
