Behavioural types such as session types, contracts and choreography describe the| KC Sivaramakrishnan - Scalable Functional Programming
Linearity and uniqueness| kcsrk.info
OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.| Jane Street Tech Blog
OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.| Jane Street Tech Blog
OCaml with Jane Street extensions is available from our public opam repo. Only a slice of the features described in this series are currently implemented.| Jane Street Tech Blog