( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verified Linear Session-Typed Concurrent Programming.

, и . PPDP, стр. 7:1-7:15. ACM, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Ankush Mane

Romy Das

Bio-economic modeling of soil resource conservation in Mid Hill Region of Nepal. Uni Gießen, (2009)

Anita Das

Arabindo Das

Amitabh Das

 

Другие публикации лиц с тем же именем

Probabilistic Resource-Aware Session Types., , и . Proc. ACM Program. Lang., 7 (POPL): 1925-1956 (января 2023)Parametric Subtyping for Structural Parametric Polymorphism., , , и . Proc. ACM Program. Lang., 8 (POPL): 2700-2730 (января 2024)Exact and Linear-Time Gas-Cost Analysis., и . SAS, том 12389 из Lecture Notes in Computer Science, стр. 333-356. Springer, (2020)Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description)., и . FSCD, том 167 из LIPIcs, стр. 33:1-33:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Nested Session Types., , , и . CoRR, (2020)Nested Session Types., , , и . ACM Trans. Program. Lang. Syst., 44 (3): 19:1-19:45 (2022)Parametric Subtyping for Structural Parametric Polymorphism., , , и . CoRR, (2023)Rast: A Language for Resource-Aware Session Types., и . Log. Methods Comput. Sci., (2022)Precise Null Pointer Analysis Through Global Value Numbering., и . ATVA, том 10482 из Lecture Notes in Computer Science, стр. 25-41. Springer, (2017)Resource-Aware Session Types for Digital Contracts., , , и . CoRR, (2019)