PEPM 2017- Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Full Citation in the ACM Digital Library

SESSION: Invited Paper

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)

SESSION: Programming Languages

Detecting code clones with gaps by function applications

Lightweight soundness for towers of language extensions

PEG parsing in less space using progressive tabling and dynamic analysis

SESSION: Transformation

Interactive data representation migration: exploiting program dependence to aid program transformation

Verification of code generators via higher-order model checking

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

Functional parallels of sequential imperatives (short paper)


Cost versus precision for approximate typing for Python

Predicting resource consumption of higher-order workflows

Refining types using type guards in TypeScript


Language-integrated query with ordering, grouping and outer joins (poster paper)