RUS
ENG
Full version
PEOPLE
Elwakil Mohamed
Publications in Math-Net.Ru
Refinement types in jolie
Proceedings of ISP RAS
,
28
:2 (2016),
33–44
©
Steklov Math. Inst. of RAS
, 2024
