![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/pepm/pepm2017.bht:"
@inproceedings{DBLP:conf/pepm/BerezunJ17, author = {Daniil Berezun and Neil D. Jones}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {1--11}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3020004}, doi = {10.1145/3018882.3020004}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/BerezunJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/FritzH17, author = {Levin Fritz and Jurriaan Hage}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Cost versus precision for approximate typing for Python}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {89--98}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018888}, doi = {10.1145/3018882.3018888}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/FritzH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/HengleinR17, author = {Fritz Henglein and Ulrik Terp Rasmussen}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {{PEG} parsing in less space using progressive tabling and dynamic analysis}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {35--46}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018889}, doi = {10.1145/3018882.3018889}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/HengleinR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/KatsushimaK17, author = {Tatsuya Katsushima and Oleg Kiselyov}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Language-integrated query with ordering, grouping and outer joins (poster paper)}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {123--124}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018893}, doi = {10.1145/3018882.3018893}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/KatsushimaK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/KlinikHJP17, author = {Markus Klinik and Jurriaan Hage and Jan Martin Jansen and Rinus Plasmeijer}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Predicting resource consumption of higher-order workflows}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {99--110}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018885}, doi = {10.1145/3018882.3018885}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/KlinikHJP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/MatsudaA17, author = {Kazutaka Matsuda and Kazuyuki Asada}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {71--82}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018883}, doi = {10.1145/3018882.3018883}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/MatsudaA17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/MatsushitaS17, author = {Tsubasa Matsushita and Isao Sasano}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Detecting code clones with gaps by function applications}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {12--22}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018892}, doi = {10.1145/3018882.3018892}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/MatsushitaS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/NarasimhanRL17, author = {Krishna Narasimhan and Christoph Reichenbach and Julia Lawall}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Interactive data representation migration: exploiting program dependence to aid program transformation}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {47--58}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018890}, doi = {10.1145/3018882.3018890}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/NarasimhanRL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/RompfB17, author = {Tiark Rompf and Kevin J. Brown}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Functional parallels of sequential imperatives (short paper)}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {83--88}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018891}, doi = {10.1145/3018882.3018891}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/RompfB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/SerranoH17, author = {Alejandro Serrano and Jurriaan Hage}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Lightweight soundness for towers of language extensions}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {23--34}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018884}, doi = {10.1145/3018882.3018884}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/SerranoH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/SuwaT0I17, author = {Takashi Suwa and Takeshi Tsukada and Naoki Kobayashi and Atsushi Igarashi}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Verification of code generators via higher-order model checking}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {59--70}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018886}, doi = {10.1145/3018882.3018886}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/SuwaT0I17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/WolffH17, author = {Ivo Gabe de Wolff and Jurriaan Hage}, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Refining types using type guards in TypeScript}, booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, pages = {111--122}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882.3018887}, doi = {10.1145/3018882.3018887}, timestamp = {Mon, 14 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pepm/WolffH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/2017, editor = {Ulrik Pagh Schultz and Jeremy Yallop}, title = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3018882}, doi = {10.1145/3018882}, isbn = {978-1-4503-4721-1}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.