Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chuta Sano
conf.researchr.org general profile
ICFP 2026 profile
ICFP/SPLASH 2025 profile
POPL 2025 profile
SPLASH 2023 profile
Registered user since Tue 19 Sep 2023
Name:
Chuta Sano
Country:
Canada
Affiliation:
McGill University
Contributions
2026
LOPSTR
Author of Deconstructed Proto-Quipper: A Rational Reconstruction within the LOPSTR+PPDP 2026-track
2025
ICFP
Author of Fusing Session-Typed Concurrent Programming into Functional Programming within the ICFP Papers-track
CPP
Author of Split Decisions: Explicit Contexts for Substructural Languages within the CPP 2025-track
2023
SPLASH
Author of Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity within the OOPSLA-track
Share
x
Thu 15 Oct 11:04