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

Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings

- English
- 日本語
Search for:
News
- Two Papers on Distributed and Persistent Programming Languages for Software Evolution in Programming Journal/Conference
  Monday June 2nd, 2025
- Kiuchi Presents a Paper on GPGPU at IPSJ PRO 2024-5
  Wednesday March 26th, 2025
- Presentation on Gradual Typing at PPL2025
  Thursday March 6th, 2025
- Poster Presentations at PPL2025
  Wednesday March 5th, 2025
- A Paper on Vython Version Programming Language at Journal of Information Processing
  Monday February 17th, 2025
- Paper on Dependent-Type-Preserving CPS Translation to Appear in IFL 2024 Proceedings
  Monday February 10th, 2025
- Hayashi, Yoshio, Inaba, Kumamoto, Matsuyama, Konishi presented Bachelor’s Thesis
  Friday February 7th, 2025
- Kiuchi, Sakai, Lindahl presented Master’s Theses
  Monday February 3rd, 2025
- Final Presentation for Campus Asia Program by Jiwon Kim
  Thursday January 23rd, 2025
- Kasuya Presents a Paper on Vython Version Programming Language at IPSJ PRO 2024-4
  Wednesday January 15th, 2025
Links