Choreographic Programming: Higher-Order Typed Functional Choreographies

Heykuki News

2 points

3 years ago

No comments

Threaded

Loading comments...

Choreographic Programming: Higher-Order Typed Functional Choreographies | Heykuki News