Embedding session types in Haskell
Sam Lindley, J. Garrett Morris
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
42
Link opens in a new tab
Citations
(Scopus)