Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Sun, Yaozhu
and
Oliveira, Bruno C. d. S.
2025.
Programming Languages and Systems.
Vol. 15695,
Issue. ,
p.
347.
Madhavapeddy, Anil
Scott, David J.
Ferris, Patrick
Gibb, Ryan T.
and
Gazagnaire, Thomas
2025.
Functional Networking for Millions of Docker Desktops (Experience Report).
Proceedings of the ACM on Programming Languages,
Vol. 9,
Issue. ICFP,
p.
597.
Moine, Alexandre
Charguéraud, Arthur
and
Pottier, François
2025.
Will It Fit? Verifying Heap Space Bounds of Concurrent Programs under Garbage Collection.
ACM Transactions on Programming Languages and Systems,
Vol. 47,
Issue. 1,
p.
1.
Shamsu, Sheera
Kafle, Dipesh
Maroo, Dhruv
Nagar, Kartik
Bhargavan, Karthikeyan
and
Sivaramakrishnan, KC
2025.
A Mechanically Verified Garbage Collector for OCaml.
Journal of Automated Reasoning,
Vol. 69,
Issue. 2,
Korkut, Joomy
Stark, Kathrin
and
Appel, Andrew W.
2025.
A Verified Foreign Function Interface between Coq and C.
Proceedings of the ACM on Programming Languages,
Vol. 9,
Issue. POPL,
p.
687.