Akihiro Murase

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 1

Top Topics

Functional Programs

Stochastic Grammar

Top Venues

Publications

Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
Temporal verification of higher-order functional programs. POPL (2016)