Poster Presentations at PPL 2023

The following poster presentations were presented at Programming and Programming Language Workshop 2023 held at Nagoya University from March 6-8.

(more…)

Kiuchi and Sakai Presented Bachelor’s Theses

Our members presented their bachelor’s theses. 

Ikemori, Furudono and Takahashi present Master’s Thesis

Our members presented their master’s thesis.

  • 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