• Sign in
  • Sign up
conf.researchr.org / Glen Mével
  • ETAPS 2019 profile
  • ICFP 2020 profile

Not registered as user yet

Name: Glen Mével

Contributions

ICFP 2020 Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track
ESOP 2019 Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track

Share
xFri 26 Feb 18:09
using conf.researchr.org (v1.42.1)
Support page
Sign Up