Skip to content

Programming Research Group

Department of Mathematical and Computing Science, Institute of Science Tokyo (née Tokyo Institute of Technology)

Home
People
Projects
Publications
Contact & Access

Formalization

Dependent Types and Effects
Monae: Monadic Effects and Equational Reasoning in Coq
Intrinsically-Typed Interpreters
Dependently Typed Music
Type-Preserving Translation Between Effectful Calculi

- English
- 日本語
Search for:
News
- Seminar Talk by Roger Burtonpatel
  Thursday October 31st, 2024
- Kasuya Won Audience Award from APLAS 2024 SRC & Posters
  Thursday October 24th, 2024
- Kasuya Presents a Poster on Vython Version Programming Language at APLAS SRC
  Tuesday October 22nd, 2024
- Acceptance of Tsunoda’s Article on Enbugging Quiz in Computer Software Journal
  Saturday October 5th, 2024
- Two New Master Course Students and an Exchange Student
  Tuesday October 1st, 2024
- Tokyo Tech → Science Tokyo
  Tuesday October 1st, 2024
- Kumamoto Presented a Poster on Programming Education Tool at JSSST Conference
  Thursday September 12th, 2024
- Masuhara Received the JSSST Distinguished Service Award
  Thursday September 12th, 2024
- Invited Talk on Gradual Typing at the 41st JSSST conference
  Wednesday September 11th, 2024
- IFL Presentations on CPS Translation, Delimited Control and Programming Education
  Monday August 26th, 2024
Links