Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2019: Cascais, Portugal
- 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
Papers
- Barry Jay:
A simpler lambda calculus. 1-9 - Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, Jing Xu:
Method name suggestion with hierarchical attention networks. 10-21 - Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi:
Reduction from branching-time property verification of higher-order programs to HFL validity checking. 22-34 - Gabriel Radanne:
Typed parsing and unparsing for untyped regular expression engines. 35-46 - Ryosuke Sato, Naoki Iwayama, Naoki Kobayashi:
Combining higher-order model checking with refinement type inference. 47-53 - Kenny Zhuo Ming Lu:
Control flow obfuscation via CPS transformation. 54-60 - Kenichi Asai:
Extracting a call-by-name partial evaluator from a proof of termination. 61-67 - Tamino Dauth, Martin Sulzmann:
Futures and promises in Haskell and Scala. 68-74 - Jeremy Yallop, Oleg Kiselyov:
Generating mutually recursive definitions. 75-81
a service of 
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.
last updated on 2024-06-10 21:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
