( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Checking Higher-Order Programs with Recursive Types.

, и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 431-450. Springer, (2013)

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.

Atsushi Imai

Atsushi Imai

Atsushi Yagi

Atsushi Fukui

Atsushi Kambayashi

 

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

Signature restriction for polymorphic algebraic effects., , и . Proc. ACM Program. Lang., 4 (ICFP): 117:1-117:30 (2020)Resource Usage Analysis., и . APLAS, стр. 147-158. (2001)A guess-and-assume approach to loop fusion for program verification., , и . PEPM, стр. 2-14. ACM, (2018)A modal type system for multi-level generating extensions with persistent code., и . PPDP, стр. 201-212. ACM, (2006)ContextFJ: a minimal core calculus for context-oriented programming., , и . FOAL, стр. 19-23. ACM, (2011)Dynamic Type Inference for Gradual Hindley-Milner Typing., , и . CoRR, (2018)A Hoare Logic for SIMT Programs., и . APLAS, том 8301 из Lecture Notes in Computer Science, стр. 58-73. Springer, (2013)On Inner Classes., и . ECOOP, том 1850 из Lecture Notes in Computer Science, стр. 129-153. Springer, (2000)Model-Checking Higher-Order Programs with Recursive Types., и . ESOP, том 7792 из Lecture Notes in Computer Science, стр. 431-450. Springer, (2013)An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming., и . FLOPS, том 14659 из Lecture Notes in Computer Science, стр. 237-272. Springer, (2024)