logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
A

ACM Transactions on Programming Languages and Systems

IF1.6
Papers10
Citations
Journal Papers 10
Publication Date
delete
Denotation-based Compositional Compiler Verification
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2026-03-01
delete0
PREAI
deleteCheng, Zhang; Wu, Jiyang; Wang, Di; Cao, Qinxiang
deleteShare
deleteSave
Navigating Mixed-Typed Migration with Profilers
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2026-03-01
delete0
PREAI
deleteHejduk, Nathaniel; Greenman, Ben; Felleisen, Matthias; Dimoulas, Christos
deleteShare
deleteSave
Scaling Inter-procedural Dataflow Analysis on the Cloud
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2026-03-01
delete0
PREAI
deleteSun, Zewen; Zhang, Yujin; Wang, Yueyang; Xu, Duanchen; Zhang, Yiyu; Qi, Yun; Wang, Zhaokang; Li, Yue; Li, Xuandong; Lu, Qingda; Peng, Wenwen; Guo, Shengjian; Zuo, Zhiqiang
deleteShare
deleteSave
A Sound Type System for Secure Currency Flow
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2026-03-01
delete0
PREAI
deleteAceto, Luca; Gorla, Daniele; Lybech, Stian
deleteShare
deleteSave
An Axiomatic Basis for Computer Programming on Relaxed Hardware Architectures: The AxSL Logics
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2026-03-01
delete0
PREAI
deleteLiu, Zongyuan; Hammond, Angus; Perami, Thibaut; Sewell, Peter; Birkedal, Lars; Pichon-Pharabod, Jean
deleteShare
deleteSave
Squibs and Discussions at TOPLAS
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2025-12-01
delete0
PREAI
deleteGordon, Colin S.
deleteShare
deleteSave
Type-Safe Compilation of Dynamic Inheritance via Merging
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2025-12-01
delete0
PREAI
deleteSun, Yaozhu; Huang, Xuejing; Oliveira, Bruno C. D. S.
deleteShare
deleteSave
Monadic Intersection Types, Relationally, and Ordered
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2025-12-01
delete0
PREAI
deleteGalal, Zeinab; Gavazzo, Francesco; Treglia, Riccardo; Vanoni, Gabriele
deleteShare
deleteSave
Embracing the Empirical with the New PL Experiments Track
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2025-12-01
delete0
PREAI
deleteWickerson, John
deleteShare
deleteSave
Editorial: New Year, New Paper Tracks
deleteACM Transactions on Programming Languages and Systems
IF1.6
delete2025-12-01
delete0
PREAI
deleteDonaldson, Alastair F.
deleteShare
deleteSave