Takashi Suwa -

Registered user since Wed 15 May 2024

Name:Takashi Suwa

Country:Japan

Affiliation:Kyoto University and National Institute of Informatics

Personal website: https://gfngfn.github.io

X (Twitter): https://x.com/en_gfngfn

GitHub: https://github.com/gfngfn

Research interests:Programming languages, type systems, formal methods

Contributions

2024

APLAS

Author of [SRC] Lightweight Dependent Types via Staging: Compile-Time Manifest Contracts within the SRC & Posters-track

FLOPS

Author of An ML-Style Module System for Cross-Stage Type Abstraction in Multi-Stage Programming within the FLOPS 2024-track