( en | de | ru )

 

Disambiguation of "Igarashi, Atsushi"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of a Merkle Patricia Tree Library Using F.

, , , , and . CoRR, (2021)

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. You can also use the button next to the name to display some publications already assigned to the person.

Atsushi Imai

Atsushi Imai

Atsushi Yagi

Atsushi Fukui

Atsushi Kambayashi

 

Other publications of authors with the same name

Signature restriction for polymorphic algebraic effects., , and . Proc. ACM Program. Lang., 4 (ICFP): 117:1-117:30 (2020)Resource usage analysis., and . POPL, page 331-342. ACM, (2002)ACM SIGPLAN Notices 37(1), January 2002.A guess-and-assume approach to loop fusion for program verification., , and . PEPM, page 2-14. ACM, (2018)On Inner Classes., and . ECOOP, volume 1850 of Lecture Notes in Computer Science, page 129-153. Springer, (2000)Dynamic Type Inference for Gradual Hindley-Milner Typing., , and . CoRR, (2018)Model-Checking Higher-Order Programs with Recursive Types., and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 431-450. Springer, (2013)Resource Usage Analysis., and . APLAS, page 147-158. (2001)A modal type system for multi-level generating extensions with persistent code., and . PPDP, page 201-212. ACM, (2006)ContextFJ: a minimal core calculus for context-oriented programming., , and . FOAL, page 19-23. ACM, (2011)A Hoare Logic for SIMT Programs., and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 58-73. Springer, (2013)