PEPM '16- Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

Full Citation in the ACM Digital Library

SESSION: Parsing

Practical, general parser combinators

• Anastasia Izmaylova
• Ali Afroozeh
• Tijs van der Storm

Operator precedence for data-dependent grammars

• Ali Afroozeh
• Anastasia Izmaylova

SESSION: Domain-Specific Languages 1

Everything old is new again: quoted domain-specific languages

• Shayan Najd
• Sam Lindley
• Josef Svenningsson
• Philip Wadler

Finally, safely-extensible and efficient language-integrated query

• Kenichi Suzuki
• Oleg Kiselyov
• Yukiyoshi Kameyama

SESSION: Domain-Specific Languages 2

A constraint language for static semantic analysis based on scope graphs

• Hendrik van Antwerpen
• Pierre Néron
• Andrew Tolmach
• Eelco Visser
• Guido Wachsmuth

BiGUL: a formally verified core language for putback-based bidirectional programming

• Hsiang-Shang Ko
• Tao Zan
• Zhenjiang Hu

SESSION: Staging

Removing runtime overhead for optimized object queries

• Jon Brandvein
• Yanhong A. Liu

Staging generic programming

• Jeremy Yallop

Toward introducing binding-time analysis to MetaOCaml

• Kenichi Asai

Staging beyond terms: prospects and challenges

• Jun Inoue
• Oleg Kiselyov
• Yukiyoshi Kameyama