Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450362269

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Futures and promises in Haskell and Scala

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294080 ◽

2019 ◽

Author(s):

Tamino Dauth ◽

Martin Sulzmann

Method name suggestion with hierarchical attention networks

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294079 ◽

2019 ◽

Cited By ~ 2

Author(s):

Sihan Xu ◽

Sen Zhang ◽

Weijing Wang ◽

Xinya Cao ◽

Chenkai Guo ◽

...

Keyword(s):

Attention Networks

Reduction from branching-time property verification of higher-order programs to HFL validity checking

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294077 ◽

2019 ◽

Cited By ~ 6

Author(s):

Keiichi Watanabe ◽

Takeshi Tsukada ◽

Hiroki Oshikawa ◽

Naoki Kobayashi

Keyword(s):

Higher Order ◽

Branching Time ◽

Time Property ◽

Property Verification

Combining higher-order model checking with refinement type inference

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294081 ◽

2019 ◽

Cited By ~ 2

Author(s):

Ryosuke Sato ◽

Naoki Iwayama ◽

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Type Inference ◽

Order Model

Generating mutually recursive definitions

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294078 ◽

2019 ◽

Cited By ~ 3

Author(s):

Jeremy Yallop ◽

Oleg Kiselyov

Keyword(s):

Recursive Definitions

A simpler lambda calculus

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294085 ◽

2019 ◽

Cited By ~ 1

Author(s):

Barry Jay

Keyword(s):

Lambda Calculus

Control flow obfuscation via CPS transformation

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294083 ◽

2019 ◽

Author(s):

Kenny Zhuo Ming Lu

Keyword(s):

Control Flow ◽

Control Flow Obfuscation

Typed parsing and unparsing for untyped regular expression engines

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294082 ◽

2019 ◽

Author(s):

Gabriel Radanne

Keyword(s):

Regular Expression

Extracting a call-by-name partial evaluator from a proof of termination

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019 ◽

10.1145/3294032.3294084 ◽

2019 ◽

Author(s):

Kenichi Asai

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Futures and promises in Haskell and Scala

Method name suggestion with hierarchical attention networks

Reduction from branching-time property verification of higher-order programs to HFL validity checking

Combining higher-order model checking with refinement type inference

Generating mutually recursive definitions

A simpler lambda calculus

Control flow obfuscation via CPS transformation

Typed parsing and unparsing for untyped regular expression engines

Extracting a call-by-name partial evaluator from a proof of termination

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019
Latest Publications