Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators.
Ikuo KoboriYukiyoshi KameyamaOleg KiselyovPublished in: WoC (2015)
Keyphrases
- search engine
- information retrieval
- higher order
- control structures
- process control
- website
- control system
- building blocks
- control problems
- lambda calculus
- fixed order
- newly introduced
- control theory
- morphological operators
- cross language information retrieval
- reinforcement learning
- image processing
- information systems