( en | de | ru )

 

Disambiguation of "Igarashi, Atsushi"

Author of the publication

copydeleteadd this publication to your clipboard
L: context-oriented programming with only layers.

, , and . COP@ECOOP, page 4:1-4:5. ACM, (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. You can also use the button next to the name to display some publications already assigned to the person.

Atsushi Imai

Atsushi Imai

Atsushi Fukui

Atsushi Yagi

Atsushi Kambayashi

 

Other publications of authors with the same name

Model-Checking Higher-Order Programs with Recursive Types., and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 431-450. Springer, (2013)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.ContextFJ: a minimal core calculus for context-oriented programming., , and . FOAL, page 19-23. ACM, (2011)A modal type system for multi-level generating extensions with persistent code., and . PPDP, page 201-212. ACM, (2006)Dynamic Type Inference for Gradual Hindley-Milner Typing., , and . CoRR, (2018)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)A Hoare Logic for SIMT Programs., and . APLAS, volume 8301 of Lecture Notes in Computer Science, page 58-73. Springer, (2013)Resource Usage Analysis., and . APLAS, page 147-158. (2001)