|
Yudai Tanabe Researcher Information
Family Name |
田邉 |
Tanabe |
First Name |
裕大 |
Yudai |
Organization |
Institute of Science Tokyo
School of Computing
|
Title |
|
ORCID ID |
|
Area of Supervision : Primary |
|
Research Bases |
|
Specialized Field |
Software (Programming paradigm/Programming language theory, Implementation of programming systems)
|
Research Field of Searching for Researchers |
Electrical, Information & Mechanical Engineering - Information Systems
|
Research Theme |
Programming languages
Programming language theory
Type systems
Software verification
Software maintenance |
Researcher Profile |
|
Lecture Note |
TokyoTech Open Course Ware |
Degree |
A Programming Language with Versions,
Summary,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
A Programming Language with Versions,
Exam Summary,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
A Programming Language with Versions,
Thesis,
Doctor (Science),
Tokyo Institute of Technology,
2023/03/26,
|
Related Page |
|
|