There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
A framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.