logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回期刊详情
P

PROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026

IF
论文数5
被引数
期刊论文 5
发表时间
delete
Computation-Tree Semantics: An Algorithmic Approach to Structurally Defined Relations计算树语义：结构化定义关系的一种算法方法
deletePROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026
IF0
delete2026-01-01
delete0
PREAI
deleteHarbo, Sean Kristian Remond; Huttel, Hans
delete分享
delete收藏
Revisiting the Evolution of Effects (Invited Talk)重新审视效应的演变（特邀报告）
deletePROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026
IF0
delete2026-01-01
delete0
PREAI
deleteWu, Nicolas
delete分享
delete收藏
Hole Refinements for Polymorphic Type-and-Example Driven Synthesis孔洞精炼用于多态类型与示例驱动的综合
deletePROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMulleners, Niek; Jeuring, Johan; Swierstra, Wouter
delete分享
delete收藏
Staging Effect Handlers for Modular Search为模块化搜索设计分阶段效果处理器
deletePROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTrifanov, Alexandru; Schrijvers, Tom
delete分享
delete收藏
Towards Lightweight and Efficient Choreographic Cloud Services面向轻量级和高效编排式云服务
deletePROCEEDINGS OF THE 2026 ACM SIGPLAN INTERNATIONAL WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION, PEPM 2026
IF0
delete2026-01-01
delete0
PREAI
deleteIonescu, Alex; Russo, Alejandro
delete分享
delete收藏