Namakonov Egor Sergeevich

Publications in Math-Net.Ru

1. Compilation of OCaml memory model into Power
   
   Proceedings of ISP RAS, 31:5 (2019),  63–78