{{flash.message}}
researchmap
  • 日本語 | English
  • Sign up
  • Login
Avatar

Keigo Imai

  (今井 敬吾)
Modified on: 05/25
  • Home
  • Research History
  • Committee Memberships
  • Papers
  • Presentations
  • Books and Other Publications
  • Misc.
  • Academic Activities
  • Research Projects
  • Awards
  • Research Areas
  • Research Interests
  • Professional Memberships
  • Education

Research Interests

  10
  • Computer Science 
  • Programming language 
  • Model checking 
  • Formal methods 
  • Haskell 
  • OCaml 
  • Pi-calculus 
  • Type theory 
  • Concurrency theory 
  • Functional programming 
To My Portal

Menu

My portal

Coauthors

There are no coauthors to display.
Avatar
{{coauthor.Related.name_str}}

{{coauthor.Related.last_modified}} Updated

Following

You are not following anyone.
アバター
{{follow.Related.user_name_en}}

{{follow.Related.modified}} Updated

2017 researchmap
Terms of Service
Japan Science and Technology Agency