Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Miëtek Bak
conf.researchr.org general profile
PLDI 2024 profile
Registered user since Sat 1 Jul 2017
Name:
Miëtek Bak
Contributions
2024
Choreographic Programming
Author of Choreographic Programming in Modal Type Theory within the Choreographic Programming 2024-track
Share
x
Sat 21 Dec 15:55