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