Programming Language Theory and Computation Models

Features and Uniqueness
  • Our laboratory conducts leading research on programming language theory and high-level computation models. In particular, we focus on research and application of (general proof methods for) program equivalence, functional programing, and type systems (also known as lightweight formal methods), which are attracting revived interests in recent years. Our Japanese translation of "Types and Programming Languages" (Benjamin C. Pierce, University of Pennsylvania)---compiled in cooperation with engineers from top-level electronics and software companies in Japan---has become the 42nd bestseller (rather exceptional as an academic Publications) among new books in For more information, please see the Web page:
Practical Application

Our technology can be used for design and development of software artifacts, especially programming languages and tools including DSL (domain specific languages), as well as application of functional programming, type systems, or formal methods.



Graduate School of Information Sciences

Eijiro Sumii, Professor