Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Takafumi Saikawa
conf.researchr.org general profile
APLAS 2023 profile
APLAS 2024 profile
ICFP 2022 profile
ICFP 2023 profile
ICFP 2024 profile
Registered user since Tue 12 Apr 2022
Name:
Takafumi Saikawa
Country:
Japan
Affiliation:
Nagoya University
Contributions
2024
APLAS
Author of [non-SRC] Toward a Formalization of Secure-Multiparty Computation Stack within the SRC & Posters-track
HOPE
Author of Mechanized monadic equational reasoning for ML references within the HOPE 2024-track
OCaml
Committee Member in Program Committee within the OCaml Users and Developers Workshop 2024-track
2023
APLAS
Author of Environment-Friendly Monadic Equational Reasoning for OCaml within the APLAS NIER-track
TyDe
Author of A type-theoretic account of quantum computation (Extended Abstract) within the TyDe 2023-track
2022
OCaml
Committee Member in Program Committee within the OCaml 2022-track
ML
Author of Interpreting OCaml GADTs into Coq within the ML-track
Share
x
Wed 18 Dec 21:17
