mmottl / fun-trans Goto Github PK
View Code? Open in Web Editor NEWA framework for automated transformation of functional programs (e.g. partial evaluation, common subexpression elimination, etc.) written in LambdaProlog.
License: GNU Lesser General Public License v2.1