PEPM '25: Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation PEPM '25：2025 ACM Sigplan国际研讨会论文集有关部分评估和计划操纵

会议集名称: PEPM: Partial Evaluation and Program Manipulation(PEPM：部分评估和程序操纵)
ISBN: 9798400713507 会议时间: 21 January 2025 会议地点: Denver CO USA 出版社: Association for Computing Machinery
7
总文献数
收藏
导航&检索条件: 整届会议 共计: 7篇
已选 0 篇
参考译文

The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk)

会议论文
William J. Bowman[1]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 1 - 9 页, DOI: 10.1145/3704253.3706135
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract)

会议论文
Brigitte Pientka[1]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 10 - 11 页, DOI: 10.1145/3704253.3706136
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

Algebraic Stepper for Simple Modules

会议论文
Kenichi Asai[1];Hinano Akiyama[1]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 13 - 29 页, DOI: 10.1145/3704253.3706137
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

Typed Program Analysis without Encodings

会议论文
Barry Jay[1]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 54 - 65 页, DOI: 10.1145/3704253.3706138
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

Characterizations of Partial Well-Behaved Lenses

会议论文
Keishi Hashiba[1];Keisuke Nakano[2];Kazuyuki Asada[2];Kentaro Kikuchi[2]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 43 - 53 页, DOI: 10.1145/3704253.3706139
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

A Type Safe Calculus for Generating Syntax-Directed Editors

会议论文
Benjamin Bennetzen[1];Nikolaj Rossander Kristensen[1];Andreas Tor Mortensen[1];Peter Buus Steffensen[1];Sune Skaanning Engtorp[2];Hans Hüttel[2]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 30 - 42 页, DOI: 10.1145/3704253.3706140
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源

The Missing Diagonal: High Level Languages for Low Level Systems (Invited Talk Abstract)

会议论文
Satnam Singh[1]
PEPM: Partial Evaluation and Program Manipulation ISBN: 9798400713507, 2025 年, 卷, 12 页, DOI: 10.1145/3704253.3710847
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。 文献详情 引用格式导出 发布源