## Manuel V. Hermenegildo, Atsushi Igarashi

*Proceedings of the 24th Workshop on Partial Evaluation and Program Manipulation*

PEPM, 2019.

### Contents (9 items)

- PEPM-2019-Jay #λ-calculus
- A simpler lambda calculus (BJ), pp. 1–9.
- PEPM-2019-XuZWCGX #network
- Method name suggestion with hierarchical attention networks (SX, SZ, WW, XC, CG, JX0), pp. 10–21.
- PEPM-2019-WatanabeTO0 #higher-order #reduction #source code #verification
- Reduction from branching-time property verification of higher-order programs to HFL validity checking (KW, TT, HO, NK0), pp. 22–34.
- PEPM-2019-Radanne #parsing #regular expression
- Typed parsing and unparsing for untyped regular expression engines (GR), pp. 35–46.
- PEPM-2019-SatoI0 #higher-order #model checking #refinement #type inference
- Combining higher-order model checking with refinement type inference (RS, NI, NK0), pp. 47–53.
- PEPM-2019-Lu #continuation #control flow #obfuscation
- Control flow obfuscation via CPS transformation (KZML), pp. 54–60.
- PEPM-2019-Asai #call-by #proving #termination
- Extracting a call-by-name partial evaluator from a proof of termination (KA), pp. 61–67.
- PEPM-2019-DauthS #haskell #scala
- Futures and promises in Haskell and Scala (TD, MS), pp. 68–74.
- PEPM-2019-YallopK #generative #recursion
- Generating mutually recursive definitions (JY, OK), pp. 75–81.