Login
From:
KC Sivaramakrishnan - Scalable Functional Programming
(Uncensored)
subscribe
Behavioural types
https://kcsrk.info/ocaml/types/2016/06/30/behavioural-types/
links
backlinks
Behavioural types such as session types, contracts and choreography describe the
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
