Login / Signup
Eijiro Sumii
Publication Activity (10 Years)
Years Active: 1998-2019
Publications (10 Years): 4
Top Topics
Lambda Calculus
Formal Verification
Special Section
Linear Algebra
Top Venues
APLAS
LICS
J. Funct. Program.
ML Family/OCaml
</>
Publications
</>