A paper entitled “An Expressive and Modular Layer Activation Mechanism for Context-Oriented Programming”, authored by Paul Leger, Nicolas Cardozo, and Hidehiko Masuhara, is accepted by the journal on Information and Software Technology. The paper proposes a mechanism that increases modularity in context-oriented programming while offering a good level expressiveness, and demonstrated its usefulness in our JavaScript-based context-oriented programming language.
We started this project when Paul visits our group in 2019. We are happy to present one of the results of the visit in this way.
Professor Fernando Castor at Utrecht University visited our group and gave a seminar talk on program understanding research. He also had a lot of discussions with our members.
After two and half years of online activities, we start having our seminars physically again. It is fun to re-discover many lost technologies in these years (like “don’t look at the screen, face to the audience!”), and to take a photo!
Since October 2022, we rebooted our regular physical seminar
The following presentations have been accepted to the TyDe and HOPE workshops, co-located with ICFP 2022.
Youyou Cong and Kenichi Asai. Towards Dependently-Typed Control Effects. The 7th Workshop on Type-Driven Development (TyDe 2022), Ljubljana, Slovenia, September 2022.
Youyou Cong, Shin-ya Katsumata, Kazuki Niimi, and Jonathan Immanuel Brachthäuser. Monadic Semantics of Bidirectional Effects. The 10th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2022), Ljubljana, Slovenia, September 2022.
The following article has been accepted for publication in the LMCS journal.
Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai. A Functional Abstraction of Typed Invocation Contexts. Logical Methods in Computer Science (LMCS) Special Issue on Selected Papers of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).
Cong gives a lecture on “an introduction to computational effects: from programming to theory” along with Prof. Katsumata and Prof. Sekiyama at the PPL Summer School 2022.
Professor Raffi Khatchadourian at CUNY Hunter College visited our group from August 10 to 24. He gave a seminar talk and had discussions with our members.
This visit was supported by the JSPS BRIDGE fellowship, and originally planned two years ago. We had to postpone the visit (actually three times) due to COVID-19, but are pleased to make it happen.
