Manuel V. Hermenegildo, Atsushi Igarashi
Proceedings of the 24th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2019.

@proceedings{PEPM-2019,
	doi           = "10.1145/3294032",
	editor        = "Manuel V. Hermenegildo and Atsushi Igarashi",
	isbn          = "978-1-4503-6226-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 24th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 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.