Functional programs as compressed data.
Naoki KobayashiKazutaka MatsudaAyumi ShinoharaPublished in: PEPM (2012)
Keyphrases
- compressed data
- functional programs
- data compression
- term rewriting systems
- compression ratio
- raw data
- logic programs
- data structure
- data cube
- functional language
- compressed images
- original data
- lossless compression
- reconstructed image
- main memory
- image compression
- post processing
- multiresolution
- data sets
- bitstream
- dimensionality reduction
- query language
- functional programming
- proof planning
- high quality
- database systems