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

PROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026

IF
论文数27
被引数
期刊论文 27
发表时间
delete
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLi, Runming; Yao, Yue; Harper, Robert
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCamaioni, Martina; Herklotz, Yann; Yu, Tz-Ching; Bourgeat, Thomas
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTockman, Andy; Singh, Pratap; Erbsen, Andres; Gruetter, Samuel; Chlipala, Adam
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteThies, Holger
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteCirpons, Reinis; Hivert, Florent; Mahboubi, Assia; Melquiond, Guillaume; Mitchell, James D.; Smith, Finn
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteGuan, Yawen; Pit-Claudel, Clement
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteKorkut, Joomy
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteGouezel, Sebastien
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteVermande, Quentin
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteChambert-Loir, Antoine; de Frutos-Fernandez, Maria Ines
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLasnier, Pascal Y.; Yallop, Jeremy; Myreen, Magnus O.
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteSomers, Thomas; Hinrichsen, Jonas Kastberg; Gaeher, Lennard; Krebbers, Robbert
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMascarenhas, Tomaz; Khan, Harun; Mohamed, Abdalrhman; Reynolds, Andrew; Barbosa, Haniel; Barrett, Clark; Tinelli, Cesare
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteArsac, Samuel; Harmer, Russ; Pous, Damien
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLarchey-Wendling, Dominique
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteLechenet, Jean-Christophe
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteNawrocki, Wojciech; Hua, Joseph; Carneiro, Mario; Xu, Yiming; Woolfson, Spencer; Rong, Shuge; Hazratpour, Sina; Awodey, Steve
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteMarionneau, Virgil; Bourda, Felix Sassus; Aguirre, Alejandro; Birkedal, Lars
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteToth, Balazs; Desharnais-Schafer, Martin; Blanchette, Jasmin
delete分享
delete收藏
deletePROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
delete2026-01-01
delete0
PREAI
deleteTrabish, David; Itzhaky, Shachar
delete分享
delete收藏