Erlang partial evaluator
A prototype implementation of a hybrid partial evaluation scheme. Source programs are first translated to Core Erlang and, then, partially evaluated.
See the folder examples for some examples of use.
This is ongoing work. Please send me any comment to gvidal@dsic.upv.es