Eijiro Sumii - APLAS 2019

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Registered user since Tue 25 Aug 2015

Name:Eijiro Sumii

Affiliation:Tohoku University

Personal website: http://www.kb.ecei.tohoku.ac.jp/~sumii/

Contributions

2019

APLAS

Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion

Show activities from other conferences

APLAS 2019-profile
View general profile