Skip to content
Programming Research Group
Department of Mathematical and Computing Science, Tokyo Institute of Technology
Menu
Home
People
Projects
Publications
Contact & Access
Type Systems
Monae: Monadic Effects and Equational Reasoning in Coq
Intrinsically-Typed Interpreters
Dependent Types and Effects
Dependently Typed Music
Type-Preserving Translation Between Effectful Calculi