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
Thu 21 Nov 13:15