( en | de | ru )

 

Disambiguation of "Matsuda, Kazutaka"

Author of the publication

copydeleteadd this publication to your clipboard
Bidirectionalizing graph transformations.

, , , , , and . ICFP, page 205-216. ACM, (2010)

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.

Tsuyoshi Matsuda

 

Other publications of authors with the same name

FliPpr: A Prettier Invertible Printing System., and . ESOP, volume 7792 of Lecture Notes in Computer Science, page 101-120. Springer, (2013)Functional programs as compressed data., , , and . High. Order Symb. Comput., 25 (1): 39-84 (2012)HOBiT: Programming Lenses Without Using Lens Combinators., and . ESOP, volume 10801 of Lecture Notes in Computer Science, page 31-59. Springer, (2018)"Bidirectionalization for free" for monomorphic transformations., and . Sci. Comput. Program., (2015)Type-based specialization of xml transformations., , and . PEPM, page 61-72. ACM, (2009)Embedding by Unembedding., , , and . Proc. ACM Program. Lang., 7 (ICFP): 1-47 (August 2023)The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics., , and . Math. Struct. Comput. Sci., 28 (2): 287-337 (2018)Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9)., , and . NII Shonan Meet. Rep., (2017)Embedding invertible languages with binders: a case of the FliPpr language., and . Haskell@ICFP, page 158-171. ACM, (2018)Reconciling Partial and Local Invertibility., , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 59-89. Springer, (2024)