Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Maxim Urschumzew
conf.researchr.org general profile
PLDI 2024 profile
Registered user since Fri 14 Jun 2024
Name:
Maxim Urschumzew
Affiliation:
None
Contributions
2024
Choreographic Programming
Author of Choreographic Programming in Modal Type Theory within the Choreographic Programming 2024-track
Share
x
Sun 22 Dec 10:35