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