• Sign in
  • Sign up
conf.researchr.org / Naohiko Hoshino
  • POPL 2016 profile
  • POPL 2019 profile

Not registered as user yet

Name:Naohiko Hoshino
Affiliation:Kyoto University

Contributions

LAFI 2019 Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track
POPL 2016 Author of Memoryful Geometry of Interaction II: Recursion and Adequacy within the Research Papers-track

Share
xThu 19 May 03:39
using conf.researchr.org (v1.55.6)
Support page
Sign Up