Martin Erwig, Tiark Rompf
Proceedings of the 21st Workshop on Partial Evaluation and Program Manipulation
PEPM, 2016.

@proceedings{PEPM-2016,
	editor        = "Martin Erwig and Tiark Rompf",
	isbn          = "978-1-4503-4097-7",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 21st Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2016,
}

Contents (10 items)

PEPM-2016-IzmaylovaAS #combinator #parsing

Practical, general parser combinators (AI, AA, TvdS), pp. 1–12.

PEPM-2016-AfroozehI #precedence

Operator precedence for data-dependent grammars (AA, AI), pp. 13–24.

PEPM-2016-NajdLSW #domain-specific language

Everything old is new again: quoted domain-specific languages (SN, SL, JS, PW), pp. 25–36.

PEPM-2016-SuzukiKK #performance #query

Finally, safely-extensible and efficient language-integrated query (KS, OK, YK), pp. 37–48.

PEPM-2016-AntwerpenNTVW #analysis #constraints #graph #semantics

A constraint language for static semantic analysis based on scope graphs (HvA, PN, APT, EV, GW), pp. 49–60.

PEPM-2016-KoZH #bidirectional #named #programming

BiGUL: a formally verified core language for putback-based bidirectional programming (HSK, TZ, ZH), pp. 61–72.

PEPM-2016-BrandveinL #query #runtime

Removing runtime overhead for optimized object queries (JB, YAL), pp. 73–84.

PEPM-2016-Yallop #programming #staging

Staging generic programming (JY), pp. 85–96.

PEPM-2016-Asai #analysis #towards

Toward introducing binding-time analysis to MetaOCaml (KA), pp. 97–102.

PEPM-2016-InoueKK #challenge #staging

Staging beyond terms: prospects and challenges (JI0, OK, YK), pp. 103–108.