Jun Furuse -

Registered user since Mon 24 Aug 2020

Name:Jun Furuse

Country:Japan

Affiliation:DaiLambda

X (Twitter): https://x.com/camlspotter

GitHub: https://github.com/camlspotter

Contributions

2021

OCaml

Committee Member in Program Committee within the OCaml 2021-track

2020

APLAS

Author of Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types within the Posters-track