Unraveling Recursion: Compiling an IR with Recursion to System F.
Michael Peyton JonesVasilis GkoumasRoman KireevKenneth MacKenzieChad NesterPhilip WadlerPublished in: MPC (2019)
Keyphrases
- complex objects
- information retrieval
- datalog programs
- transitive closure
- deductive databases
- information systems
- image sequences
- text retrieval
- infrared
- information retrieval systems
- information access
- retrieval model
- query expansion
- real time
- case study
- multimedia
- artificial intelligence
- genetic algorithm
- databases