Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick (Q2908573)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick |
scientific article |
Statements
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick (English)
0 references
5 September 2012
0 references
Haskell
0 references
CPS
0 references
adjunction
0 references
Kan extension
0 references
codensity monad
0 references
power
0 references
end formulas
0 references
Church representation
0 references
backtracking
0 references
string diagram
0 references
