Skip to content
Programming Research Group
Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)
Menu
Home
People
Projects
Publications
Contact & Access
Type System
Type Systems for Array and Tensor Shapes
Type System for Computational Resource Management
Gradual Typing
Continuations and Effects
Object-Oriented Programming Language with Control Operators
Dependent Types and Effects
Type-Preserving Translation Between Effectful Calculi