2019年

  • T. Kamina and T. Aotani, An Approach for Persistent Time-Varying Values, to appear in Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2019).
  • T. Kamina and T. Aotani, TinyCORP: A Calculus for Context-Oriented Reactive Programming, In COP’19, to appear.

2018年

  • T. Hikosaka, T. Kamina, and K. Maruyama, Visualizing Reactive Execution History using Propagation Traces, In REBLS’18, 6 pages, 2018.
  • T. Kamina and T. Aotani, Harmonizing Signals and Events with a Lightweight Extension to Java, The Art, Science, and Engineering of Programming, Vol.2, No.3, Article 5, 29 pages, 2018.
  • T. Kamina, T. Aotani, H. Masuhara, and A. Igarashi, Method Safety Mechanism for Asynchronous Layer Deactivation, Science of Computer Programming, Vol.156, pp.104-120, 2018.

過去のものについてはこちらを参照.