Kiuchi and Sakai Presented Bachelor’s Theses

Our members presented their bachelor’s theses. 

Ikemori, Furudono and Takahashi present Master’s Theses

Our members presented their master’s theses.

  • Kazuki Ikemori, Translation Between Effect Instances and Multi-prompt Control Operators
  • Naoya Furudono, Formalizing Differential Execution
  • Shusuke Takahashi, Implementation of Live Programming Environmnet Based on Differential Execution Using Evaluation History

SLE 2022 Paper on BatakJava, an OOP Language With Versions

The following paper is accepted by and presented at the International Conference on Software Language Engineering (SLE 2022), on of the SPLASH 2022 conferences held in December 2022 in Auckland, New Zealand. This is one of the results of our Programming with Versions project, which enables to use definitions of different versions in one program, and extends the core idea to an object-oriented programming language.

👉 Project: Programming with Versions