Powered by
Proceedings of the ACM on Programming Languages, Volume 4, Number ICFP,
August 23–28, 2020,
Virtual Event, USA
Frontmatter
Papers
Retrofitting Parallelism onto OCaml
KC Sivaramakrishnan , Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
Publisher's Version
Info
Artifacts Functional
SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
Nikhil Swamy
, Aseem Rastogi
, Aymeric Fromherz, Denis Merigoux
, Danel Ahman
, and Guido Martínez
(Microsoft Research, USA; Microsoft Research, India; Carnegie Mellon University, USA; Inria, France; University of Ljubljana, Slovenia; CIFASIS-CONICET, Argentina)
Publisher's Version
Artifacts Functional
proc time: 6.39