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
Continuations and Effects
Dependent Types and Effects
Object-Oriented Programming Language with Control Operators
Type-Preserving Translation Between Effectful Calculi
Gradual Typing
Type System for Computational Resource Management
Type Systems for Array and Tensor Shapes