Demonstration Page for "Functional Programs as Compressed Data"

Our prototype data compression and transformation systems can be tested via the following link:

FunC:
A (lossless) data compressor, which encode a tree into a functional program that generates it.
GTRecS 2:
An extended higher-order model checker, to process a query or transformation on compressed data expressed in the form of higher-order recursion schemes (a kind of higher-order functional programs).