Registered user since Mon 18 Jul 2016

Name:Kanae Tsushima
Country:Japan
Affiliation:National Institute of Informatics, Japan

Contributions

PEPM 2023 Towards Type Debugging using Partial Evaluation
Show activities from other conferences

Using general profile