Programming Language Theory and Computation Models


update:2020/06/16
NEXT
PREV
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 Amazon.co.jp. For more information, please see the Web page: http://www.kb.ecei.tohoku.ac.jp/~sumii
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.

Keywords

Researchers

Graduate School of Information Sciences

Eijiro Sumii, Professor