ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
ACM Transactions on Programming Languages and Systems
container_4hplau6wtnhnfnqt2t7vbri6vm
Association for Computing Machinery
Homepage URLs
http://www.acm.org/pubs/contents/journals/toplas/ |
http://portal.acm.org/toplas/archive |
https://toplas.acm.org/ |
Example Publications
Typed–Untyped Interactions: A Comparative Analysis
Ben Greenman, Christos Dimoulas, Matthias Felleisen
2023
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3579833
Revisiting Iso-Recursive Subtyping
Yaoda Zhou, Jinxu Zhou, Bruno Oliveira
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3549537
Immutability and Encapsulation for Sound OO Information Flow Control
Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3573270
Nested Session Types
Ankush Das, Henry Deyoung, Andreia Mordido, Frank Pfenning
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3539656
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
Alex C. Keizer, Henning Basold, Jorge A. Pérez
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3527633