- Jacques Carette, Brooks MacLachlan, Spencer Smith:
GOOL: a generic object-oriented language. PEPM@POPL 2020: 45-51 - Zechen Hou, Eric Madelaine:
Symbolic bisimulation for open and parameterized systems. PEPM@POPL 2020: 14-26 - Isao Sasano:
An approach to generate text-based IDEs for syntax completion based on syntax specification. PEPM@POPL 2020: 38-44 - Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe:
Module generation without regret. PEPM@POPL 2020: 1-13 - Casper Bach Poulsen, Zhenjiang Hu:
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020. ACM 2020, ISBN 978-1-4503-7096-7 [contents] - 2019
- Kenichi Asai:
Extracting a call-by-name partial evaluator from a proof of termination. PEPM@POPL 2019: 61-67 - Tamino Dauth, Martin Sulzmann:
Futures and promises in Haskell and Scala. PEPM@POPL 2019: 68-74 - Barry Jay:
A simpler lambda calculus. PEPM@POPL 2019: 1-9 - Kenny Zhuo Ming Lu:
Control flow obfuscation via CPS transformation. PEPM@POPL 2019: 54-60 - Gabriel Radanne:
Typed parsing and unparsing for untyped regular expression engines. PEPM@POPL 2019: 35-46 - Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi:
Combining higher-order model checking with refinement type inference. PEPM@POPL 2019: 47-53 - Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi:
Reduction from branching-time property verification of higher-order programs to HFL validity checking. PEPM@POPL 2019: 22-34 - Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, Jing Xu:
Method name suggestion with hierarchical attention networks. PEPM@POPL 2019: 10-21 - Jeremy Yallop, Oleg Kiselyov:
Generating mutually recursive definitions. PEPM@POPL 2019: 75-81 - Manuel V. Hermenegildo, Atsushi Igarashi:
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. ACM 2019, ISBN 978-1-4503-6226-9 [contents] - 2018
- Kenichi Asai, Chihiro Uehara:
Selective CPS transformation for shift and reset. PEPM 2018: 40-52 - David Broman, Jeremy G. Siek:
Gradually typed symbolic expressions. PEPM 2018: 15-29 - Ben Greenman, Zeina Migeed:
On the cost of type-tag soundness. PEPM 2018: 30-39 - Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi:
A guess-and-assume approach to loop fusion for program verification. PEPM 2018: 2-14 - Barry Jay:
Recursive programs in normal form (short paper). PEPM 2018: 67-73 - Jan Midtgaard:
Developments in property-based testing (invited talk). PEPM 2018: 1 - Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, Johannes Kinder:
Checking cryptographic API usage with composable annotations (short paper). PEPM 2018: 53-59 - Takahisa Watanabe, Yukiyoshi Kameyama:
Program generation for ML modules (short paper). PEPM 2018: 60-66 - Fritz Henglein, Hsiang-Shang Ko:
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018. ACM 2018, ISBN 978-1-4503-5587-2 [contents] - 2017
- Daniil Berezun, Neil D. Jones:
Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). PEPM 2017: 1-11 - Levin Fritz, Jurriaan Hage:
Cost versus precision for approximate typing for Python. PEPM 2017: 89-98 - Fritz Henglein, Ulrik Terp Rasmussen:
PEG parsing in less space using progressive tabling and dynamic analysis. PEPM 2017: 35-46 - Tatsuya Katsushima, Oleg Kiselyov:
Language-integrated query with ordering, grouping and outer joins (poster paper). PEPM 2017: 123-124 - Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer:
Predicting resource consumption of higher-order workflows. PEPM 2017: 99-110 - Kazutaka Matsuda, Kazuyuki Asada:
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. PEPM 2017: 71-82