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
What's Decidable About Causally Consistent Shared Memory?
Ori Lahav, Udi Boker
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3505273
Prophecy Made Simple
Leslie Lamport, Stephan Merz
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3492545
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK
Albert Mingkun Yang, Tobias Wrigstad
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3538532
Containerless Plurals: Separating Number from Type in Object-Oriented Programming
Friedrich Steimann
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3527635
Conditional Independence by Typing
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton, Matthijs Vákár
2022
|
ACM Transactions on Programming Languages and Systems
doi:10.1145/3490421