Five Members Presented Bachelor’s Thesis

Five of our members presented their bachelor’s theses.

Cahyono Jessica Belicia, Design and Implementation of a Block-based System for Learning How to Construct Algebraic Data Types
Satsuki Kasuya, Design and Compatibility-Checking Mechanism of a Dynamically-Typed Language That Supports Multiple Versions
Hironori Kawazoe, Type-Preserving Translation from A-Normal Forms to Continuation-Passing Forms in a Dependent-Typed Language
Taito Suda, Supporting Directed Acyclic Graphs in a Type-Level Shape Checker for Deep-Learning Programs
Akane Taniguchi, Formalizing an Object-Oriented Programming Language With Delimited Control